Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings - André, Étienne; André, Étienne; Stoelinga, Mariëlle; Stoelinga, Mariëlle (Springer International Publishing : Imprint: Springer, 2019)