A Flexible Approach for Checking Timed Automata on Continuous Time Semantics

Publication
arXiv preprint arXiv:1806.08684