Text this: Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet.