https://9dok.net/document/y8gmjdvw-willkommen-vorlesung-modellbasierte-softwaretechniken-sichere-systeme-sommersemester-jürjens.html