deployment.aadl 3.2 KB