Readings in real-time-systems - Lee, Yann-Hang, 1952- (IEEE Computer Society Press, 1993)