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