Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings - Abate, Alessandro; Geeraerts, Gilles (Springer International Publishing : Imprint: Springer, 2017)