1. Lecture Notes in Computer Science;H. Jong de,2003
2. Tomlin, C., Pappas, G., Sastry, S.S.: Conflict resolution for air traffic management: A study in multiagent hybrid systems. IEEE Trans. on AC 43, 509–521 (1998)
3. Borgstede, M., Schicke, J.-W., Eggert, F., Golz, U.: Hybrid Automata as a Modeling Approach in the Behavioural Sciences. In: Proc. of the HAS Workshop HAS 2011, Saarbrücken (2011),
http://www.ips.cs.tu-bs.de/images/schicke/HAS2011.pdf
4. Lygeros, J.: Lecture notes on hybrid systems. University of Patras, ENSIETA (2004),
citeseerx.ist.psu.edu
5. Bemporad, A.: Hybrid Toolbox – User’s Guide (December 1, 2003),
http://www.dii.unisi.it/hybrid/toolbox