Formal Modeling and Analysis of Timed Systems - Martin Fränzle, Nicolas Markey (Springer, 2016)