Formal Modeling and Analysis of Timed Systems - AndrÃ© (Springer International Publishing, 2019)