programming_properties.aadl 2.99 KB