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