Readinngs in real - time systems - Lee, Yann-Hang (IEEE Computer Society Press, 1995)