Formal Modeling and Analysis of Timed Systems - Legay (Springer International Publishing, 2014)