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