Formal modeling and analysis of timed systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019 : proceedings - André, Étienne; Stoelinga, Mariëlle 1972- (Springer, 2019)