Timing analysis of real-time software : a practical approach to the specification and design of real-time embedded software with an emphasis on timing correctness ... /
Motus, L.
Rodd, M. G.
Oxford : Pergamon,
1994.