Modeling and verification of real-time systems : formalisms and software tools - Navet, Nicolas.; Merz, Stephan. (ISTE/John Wiley, 2008)