Guide to the design of real-time systems - Rothstein, Michael F. (Wiley-Interscience, 1970)