The requirement and design speci cation language spectrum: An informal introduction { Version 1.0, Part I,II (1993)

by M Broy, R Grosu C Facchi, R Hettler, H Hussmann, D Nazareth, F Regensburger, K St len