A. Chutinan, and B. Krogh. Hybrid Systems: Computation and Control, Second International Workshop, Berg en Dal, NLD, March 1999, Proceedings, volume 1569 of Lecture Notes in Computer Science, Springer, (1999)
E. Asarin, T. Dang, O. Maler, and O. Bournez. Hybrid Systems: Computation and Control, Third International Workshop, Pittsburgh, US-PA, March 2000, Proceedings, volume 1790 of Lecture Notes in Computer Science, page 20--31. Springer, (2000)
R. Alur, T. Dang, and F. Ivancic. Hybrid Systems: Computation and Control, 5th International Workshop, Stanford, US-CA, March 2002, Proceedings, volume 2289 of Lecture Notes in Computer Science, page 35--48. Springer, (2002)