a/a to AADL