https://123dok.org/document/y96rlr2w-introduction-formal-methods-chapter-abstraction-model-checking.html