"Automatic Abstraction for Verification of Timed Circuits and Systems."

Hao Zheng, Eric Mercer, Chris J. Myers (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics