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