https://123dok.net/document/oz10pwdq-proving-set-inclusion-via-intervals-application-to-robust-stability.html