Examples of AADL modeling, aadl files, aaxl files