Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th