Formal Modeling and Analysis of Timed Systems - Pettersson, Paul (Springer Berlin Heidelberg, 2020)