1. R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Trans. on Software Engineering, 22(3):181–201, Mar 1996.
2. A. Chutinan and B.H. Krogh. Computing approximating automata for a class of hybrid systems. submitted to Mathematical Modeling of Systems: Special Issue on Discrete Event Models of Continuous Systems, 1997.
3. Lect Notes Comput Sci;A. Chutinan,1998
4. A. Chutinan and B.H. Krogh. Computing polyhedral approximations to dynamic flow pipes. submitted to 37
th IEEE Conference on Decision and Control: Invited Session on Synthesis and Verification of Controllers for Hybrid Systems, 1998.
5. E. Clarke, O. Grumberg, and D. Long. Verification tools for finite-state concurrent systems. In Proceedings of A Decade of Concurrency: Reflections and Perspectives, pages 124–175, REX School/Symposium, Noordwijkerhout, The Netherlands, 1–4 June 1993. Springer-Verlag, Berlin, Germany, 1994.