https://5dok.org/document/y960442d-developing-dependable-automotive-embedded-systems-using-east-adl.html