S. Wagner, and J. Jürjens. Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, volume 3463 of Lecture Notes in Computer Science, page 435-452. Springer, (2005)
J. Jürjens, and S. Wagner. Component-Based Software Development for Embedded Systems, volume 3778 of Lecture Notes in Computer Science, Springer, (2005)
S. Wagner, J. Jürjens, C. Koller, and P. Trischberger. Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, volume 3502 of Lecture Notes in Computer Science, page 40-55. Springer, (2005)