https://123dok.net/document/y4wkl26r-abstraction-of-monotone-systems-based-on-feedback-controllers.html