Formal modeling and analysis of timed systems 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings - Fränzle, Martin (Springer, 2016)