Formal Modeling and Analysis of Timed Systems - Sergiy Bogomolov, David Parker (Springer, 2022)