Formal Modeling and Analysis of Timed Systems - Catalin Dima, Mahsa Shirmohammadi (Springer, 2021)