"A Conformance Testing Relation for Symbolic Timed Automata."

Sabrina von Styp, Henrik C. Bohnenkamp, Julien Schmaltz (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics