https://1library.net/document/y96k88wy-modeling-language-constructs-with-compatibility-intervals.html