Design of real-time computer systems - Martin, James H. (Series in Automatic Computation, 1967)