deployment_properties.aadl 4.76 KB