Real-time systems specification, verification, and analysis - Joseph, Mathai (Prentice Hall International series in computer science, 1996)