1. Hybrid system modeling and event identification;Antsaklis,1993
2. On some relations between dynamical systems and transition systems;Asarin,1993
3. A dynamical simulation facility for hybrid systems;Back,1993
4. Logical reversibility of computation;Bennett;IBM J. Res. Develop.,1973
5. Discrete Mathematics;Bobrow,1974