Hybrid systems (Springer, 1993)