Real-time computer systems - Freedman, A. L. (Crane Russak, 1977)