1. SAE Aerospace. Architecture Analysis & Design Language (AADL).AS-5506, SAE International (2004)
2. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: Proc. of SEFM – IEEE Software Engineering and Formal Methods (2006)
3. Chkouri, M., Robert, A., Bozga, M., Sifakis, J.: Translating AADL into BIP – application to the verification of real-time systems. In: Proc. of MoDELS ACES-MB – Model Based Architecting and Construction of Embedded Systems (2008)
4. Franca, R.B., Bodeveix, J.-P., Chemouil, D., Filali, M., Thomas, D., Rolland, J.-F.: The AADL behaviour annex, experiments and roadmap. In: Proc. of ICECCS – IEEE International Conference on Engineering of Complex Computer Systems (2007)
5. Muller, P.-A., Fleurey, F., Vojtisek, D., Drey, Z., Pollet, D., Fondement, F., Studer, P., Jézéuel, J.-M.: On executable meta-languages applied to model transformations. In: Proc. of MoDELS – Model Transformations In Practice (2005)