thread_properties.aadl 3.92 KB