Formal Modeling and Analysis of Timed Systems - Raskin, Jean-Francois (Springer Berlin Heidelberg, 2020)