Formal Modeling and Analysis of Timed Systems - AndrÃ©; Stoelinga, Mariëlle (Springer International Publishing, 2019)