Modeling and verification of real-time systems : (ISTE/John Wiley, 2008)