"Synthia: Verification and Synthesis for Timed Automata."

Hans-Jörg Peter, Rüdiger Ehlers, Robert Mattmüller (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics