https://9dok.net/document/yev6r511-sommersemester-christophlüth-formalemodellierungvorlesung-vom-temporalelogikundmodellprüfung.html