Formal Modeling and Analysis of Timed Systems - Sankaranarayanan; Vicario, Enrico (Springer International Publishing, 2015)