deployment_properties.aadl 8.18 KB