"Synthesizing Certificates in Networks of Timed Automata."

Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics