pok_properties.aadl 4.59 KB