Reference:

Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, and Martin Wechs. Seamless model-driven development put into practice. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation, volume 6415 of Lecture Notes in Computer Science, pages 18–32. Springer, October 2010.

Suggested BibTeX entry:

@inproceedings{haberl:etal:isola10,
    author = {Wolfgang Haberl and Markus Herrmannsdoerfer and Stefan Kugele and Michael Tautschnig and Martin Wechs},
    booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation},
    editor = {Tiziana Margaria and Bernhard Steffen},
    month = {October},
    pages = {18--32},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Seamless Model-Driven Development Put into Practice},
    volume = {6415},
    year = {2010}
}