https://5dok.net/document/4yrg828q-abstraction-refinement-theory-analysis-design-systems-extended-version.html