Formal Modeling and Analysis of Timed Systems - Jansen; Pavithra Prabhakar; Prabhakar, Pavithra (Springer International Publishing, 2018)