arinc653_properties.aadl 2.87 KB