"Computing Differential Invariants of Hybrid Systems as Fixedpoints."

André Platzer, Edmund M. Clarke (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics