1. Hani Abdeen , Dániel Varró , Houari Sahraoui , András Szabolcs Nagy , Csaba Debreceni, Ábel Hegedüs, and Ákos Horváth. 2014 . Multi-objective optimization in rule-based design space exploration. In ASE. ACM , 289--300. Hani Abdeen, Dániel Varró, Houari Sahraoui, András Szabolcs Nagy, Csaba Debreceni, Ábel Hegedüs, and Ákos Horváth. 2014. Multi-objective optimization in rule-based design space exploration. In ASE. ACM, 289--300.
2. Aditya Agrawal , Tihamer Levendovszky , Jon Sprinkle , Feng Shi , and Gabor Karsai . 2002 . Generative Programming via Graph Transformations in the Model-Driven Architecture . In Workshop on Generative Techniques in the Context of Model Driven Architecture, OOPSLA. Aditya Agrawal, Tihamer Levendovszky, Jon Sprinkle, Feng Shi, and Gabor Karsai. 2002. Generative Programming via Graph Transformations in the Model-Driven Architecture. In Workshop on Generative Techniques in the Context of Model Driven Architecture, OOPSLA.
3. Airlines electronic engineering committee (AEEC). 2006. Avionics application software standard interface - ARINC specification 653 - part 1 (supplement 2 - required services). Airlines electronic engineering committee (AEEC). 2006. Avionics application software standard interface - ARINC specification 653 - part 1 (supplement 2 - required services).
4. Ahmad Salim Al-Sibahi , Aleksandar S. Dimovski , and Andrzej Wasowski . 2016. Symbolic execution of high-level transformations . In SLE. Springer , 207--220. Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, and Andrzej Wasowski. 2016. Symbolic execution of high-level transformations. In SLE. Springer, 207--220.
5. Aldeida Aleti , Stefan Björnander , Lars Grunske , and Indika Meedeniya . 2009. ArcheOpterix: An extendable tool for architecture optimization of AADL models . In MOMPES. IEEE , 61--71. Aldeida Aleti, Stefan Björnander, Lars Grunske, and Indika Meedeniya. 2009. ArcheOpterix: An extendable tool for architecture optimization of AADL models. In MOMPES. IEEE, 61--71.