"KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)."

André Platzer, Jan-David Quesel (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics