Introduction to the formal design of real-time systems - Gray, David (Applied computing, 1999)