"Rigorous Discretization of Hybrid Systems Using Process Calculi."

Sven Schneider, Uwe Nestmann (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics