Behavior Annex for AADLv2