Formal Modeling and Analysis of Timed Systems - Franzle, Martin;Markey, Nicolas; Markey, Nicolas (Springer International Publishing, 2016)