* Package behavior_properties.aadl