1. Lecture Notes in Computer Science;R. Alur,1992
2. Lecture Notes in Computer Science,1996
3. M. Andersson, Object-Oriented Modeling and Simulation of Hybrid Systems, Ph.D. thesis, Institute of Automatic Control, Lund Institute of Technology, 1994.
4. Lecture Notes in Computer Science,1995
5. Lecture Notes in Control and Information Sciences;J. D. Aplevich,1991