Moor, T., & Raisch, J. (2002). Abstraction based supervisory controller synthesis for high order monotone continuous systems. In S., Engell (Ed.), Modelling, analysis, and design of hybrid systems (pp. 247-265). Berlin: Springer-Verlag Berlin.