Media type: E-Article Title: Software Engineering and Formal Methods: A Configuration Approach for IMA Systems Contributor: Januzaj, Visar; Kugele, Stefan; Biechele, Florian; Mauersberger, Ralf imprint: Springer Berlin Heidelberg, 2012 Published in: Software Engineering and Formal Methods Language: Not determined DOI: 10.1007/978-3-642-33826-7_14 ISSN: 0302-9743; 1611-3349 Origination: Footnote: