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)
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. Beard, N. Knoebel, C. Cao, N. Hovakimyan, and J. Matthews. AIAA Guidance, Navigation, and Control Conference and Exhibit, Keystone, US-CO, American Institute of Aeronautics and Astronautics, (August 2006)
M. Bhatia, M. Patil, C. Woolsey, B. Stanford, and P. Beran. AIAA Atmospheric Flight Mechanics Conference, Minneapolis, US-MN, American Institute of Aeronautics and Astronautics, (August 2012)
K. Åström, and B. Wittenmark. Addison-Wesley Series in Electrical and Computer Engineering: Control Engineering Addison-Wesley, Boston, US-MA, reprinted, corrected edition, (1989)