Gromov, D., & Raisch, J. (2006). Detecting and enforcing monotonicity for hybrid control systems synthesis. IFAC Proceedings Volumes, 39(5), 395-401.