1. A.S. Matveev, A.V. Savkin, Qualitative Theory of Hybrid Dynamical Systems (Birkhauser, Cambridge, 2000)
2. M. Rupak, T. Paulo, Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 5469 (Springer-Verlag, Berlin, 2009)
3. B. Krogh, N. Lynch, Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 1790 (Springer-Verlag, Berlin, 2000)
4. O. Maler, Hybrid and Real-Time Systems. Lecture Notes in Computer Science, vol. 1201 (Springer-Verlag, Berlin, 1997)
5. E. Villani, P.E. Miyagi, R. Valette, Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Springer-Verlag, Berlin, 2006)