AADL Meta Model and Interchange Formats