https://123dok.net/document/zwv1drlg-an-interval-approach-to-compute-invariant-sets.html