Gromov, D., Mayer, E., Raisch, J., Corona, D., Seatzu, C., & Giua, A. (2005). Optimal Control of Discrete-time Hybrid Automata under Safety and Liveness Constraints. In 2005 IEEE International Symposium on Intelligent Control & 13th Mediterranean Conference on Control and Automation (pp. 243-249).