The requirement and design specification language SPECTRUM (1993)

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