thread_properties.aadl 2.12 KB