Formal Modeling and Analysis of Timed Systems - Braberman (Springer Berlin Heidelberg, 2013)