deployment_properties.aadl 5.16 KB