Geist, S., Reißig, G., & Raisch, J. (2005). On the convexity of reachable sets of nonlinear dynamic systems: an important step in generating discrete abstractions of continuous systems. In Proceedings of the 11th IEEE International Conference on Methods and Models in Automation and Robotics (CD, pp. 101-106).