deployment_properties.aadl 4.83 KB