Modelling, Analysis and Design of Hybrid Systems by S. Engell & W. Margaret Lauterborn