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