TAG: aadl 2