https://123dok.org/document/zx50ome4-fragments-interval-temporal-logic-hs-tractable-model-checking.html