presented at event 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS) Conference