S. Wagner, und H. Fischer. Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Volume 4006 von Lecture Notes in Computer Science, Seite 143-154. Springer, (2006)
S. Wagner, und J. Jürjens. Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Volume 3463 von Lecture Notes in Computer Science, Seite 435-452. 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)