J. Drawehn, O. Höß, and A. Weisbecker. volume XI of Leipziger Beiträge zur Informatik, Eigenverlag Leipziger Informatik-Verbund (LIV), Leipzig, (September 2008)
C. Janssen, A. Weisbecker, and J. Ziegler. Requirements Engineering, volume 41 of Berichte des German Chapter of the ACM, page 335-347. Teubner, (1993)