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