S. Becker, S. Overhage, and R. Reussner. Component-Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings, volume 3054 of Lecture Notes in Computer Science, page 68-83. Berlin, Heidelberg, Springer, (May 2004)