Modelling, analysis, and design of hybrid systems - Engell, Sebastian; Frehse, Goran; Schnieder, Eckehard (Springer, 2002)