https://9dok.net/document/q7w25l5d-modellbasierte-softwaretechniken-f-ur-sichere-systeme-ubung.html