behavior_properties.aadl 744 Bytes