"Component-Based Abstraction Refinement for Timed Controller Synthesis."

Hans-Jörg Peter, Robert Mattmüller (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics