Formal Modeling and Analysis of Timed Systems - Abate; Geeraerts, Gilles (Springer International Publishing, 2017)