1. Complementarity modeling of hybrid systems
2. On the existence of executions of hybrid automata. IEEE Conference on Decision and Control, Phoenix, AZ, 1999.
3. Linear complementarity systems: A study in hybrid denamics. Ph.D. Thesis, Eindhoven University of Technology, 1999.
4. Lecture Notes;Lemmon,2000
5. Dymola?Dynamic Modeling Language, User's Manual. Dynasim AB: Sweden, 1994.