Formal Modeling and Analysis of Timed Systems - Braberman, Vctor; Fribourg, Laurent; Braberman, Víctor; Fribourg, Laurent (Springer Berlin Heidelberg, 2013)