Formal modeling and analysis of timed systems 17th international conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings - André, Étienne (Springer, 2019)