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