Formal Modeling and Analysis of Timed Systems - David N. Jansen, Pavithra Prabhakar (Springer, 2018)