"Synthesising certificates in networks of timed automata."

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