https://9dok.net/document/y96j392j-sommersemester-christophlüth-formalemodellierungvorlesung-vom-zusammenfassung-rückblick-ausblick.html