Design of real-time computer systems - Martin, James Thomas 1933- (Prentice-Hall series in automatic computation, 1967)