"Abstraction Refinement Algorithms for Timed Automata."

Victor Roussanaly, Ocan Sankur, Nicolas Markey (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics