application aadl 3