pok_properties.aadl 4.6 KB