@inproceedings{SchreinerGoeschka2006, author = {Dietmar Schreiner and Karl G{\"o}schka}, title = {Model Level Validation of Component Based Software for Distributed Embedded Systems}, booktitle = {Proceedings of the 20th European Conference on Object-Oriented Programming (ECCOP 2006), July 3-7, Nantes, France}, year = {2006}, }