https://123dok.net/document/myj8445q-the-aadl-constraint-annex.html