Formal specification and analysis of hybrid systems by K.L. Man & R.R.H. Schiffelers