J. Jürjens, und S. Wagner. Component-Based Software Development for Embedded Systems, Volume 3778 von Lecture Notes in Computer Science, Springer, (2005)
S. Wagner, J. Jürjens, C. Koller, und P. Trischberger. Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Volume 3502 von Lecture Notes in Computer Science, Seite 40-55. Springer, (2005)