TY - CHAP A1 - Schreiner, Dietmar A1 - Göschka, Karl T1 - Model Level Validation of Component Based Software for Distributed Embedded Systems T2 - Proceedings of the 20th European Conference on Object-Oriented Programming (ECCOP 2006), July 3-7, Nantes, France KW - Embedded Systems Y1 - 2019 ER -