https://123dok.net/document/y4wm7150-mars-nicolasdelanoue-lucjaulin-bertrandcottenceau-stabililityanalysisofanonlinearsystemusingintervalanalysis.html