Formal modeling and analysis of timed systems. 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24--26, 2016. Proceedings
scientific article; zbMATH DE number 6618631