https://123dok.net/document/qvl9dxjl-refinement-aadl-models-using-analysis-methods-avionics-example.html