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