Formal Modeling and Analysis of Timed Systems - Bertrand; Jansen, Nils (Springer International Publishing, 2020)