https://9dok.net/document/zkwpx8k4-modellbasierte-softwaretechnikenfür-sichere-systeme.html