https://123dok.net/document/nq72r0nz-2018-modelisation-de-systemes-avioniques-en-aadl.html