aadl_properties.aadl 17.4 KB