1. Abacuss (1995). http://yoric.mit.edu/abacuss/abacuss.html. Massachussets Institute of Technology.
2. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
3. Andersson, M. (1994). Object-oriented modeling and simulation of hybrid systems. Ph.D. thesis. Department of Automatic Control, Lund Institute of Technology, Lund, Sweden.
4. Arends, N. W. A. (1996). A systems engineering specification formalism. Ph.D. thesis. Eindhoven University of Technology, The Netherlands.
5. Barton, P. I. (1992). The modelling and simulation of combined discrete/continuous processes. Ph.D. thesis. University of London.