"Logical Verification and Systematic Parametric Analysis in Train Control."

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