programming_properties.aadl 2.97 KB