Reference:

Visar Januzaj, Stefan Kugele, Florian Biechele, and Ralf Mauersberger. A Configuration Approach for IMA Systems. In George Eleftherakis, Mike Hinchey, and Mike Holcombe, editors, Software Engineering and Formal Methods, volume 7504 of Lecture Notes in Computer Science, pages 203–217. Springer Berlin / Heidelberg, 2012. 10.1007/978-3-642-33826-7_14.

Suggested BibTeX entry:

@inproceedings{januzaj:etal:sefm12,
    author = {Visar Januzaj and Stefan Kugele and Florian Biechele and Ralf Mauersberger},
    booktitle = {Software Engineering and Formal Methods},
    editor = {Eleftherakis, George and Hinchey, Mike and Holcombe, Mike},
    note = {10.1007/978-3-642-33826-7_14},
    pages = {203-217},
    publisher = {Springer Berlin / Heidelberg},
    series = {Lecture Notes in Computer Science},
    title = {{A Configuration Approach for IMA Systems}},
    volume = {7504},
    year = {2012}
}