1. An Open Source Domain-Specific Avionics System Architecture Model for the Design Phase and Self-Organizing Avionics
2. Holistic IMA Platform Configuration using Web-technologies and a Domain-specific Model Query Language
3. The Concept of an Autonomic Avionics Platform and the Resulting Software Engineering Challenges
4. Daniel Balasubramanian , Anantha Narayanan , Christopher P. van Buskirk , and Gabor Karsai . 2006. The Graph Rewriting and Transformation Language: GReAT. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 ( 2006 ). Daniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, and Gabor Karsai. 2006. The Graph Rewriting and Transformation Language: GReAT. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006).
5. Gerd Behrmann , Alexandre David , and Kim G Larsen . 2004. A tutorial on uppaal. Formal methods for the design of real-time systems ( 2004 ), 200--236. Gerd Behrmann, Alexandre David, and Kim G Larsen. 2004. A tutorial on uppaal. Formal methods for the design of real-time systems (2004), 200--236.