"A Symbolic Decision Procedure for Robust Safety of Timed Systems."

Mani Swaminathan, Martin Fränzle (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics