@techreport{BroyFacchiGrosuetal.1993, author = {Broy, Manfred and Facchi, Christian and Grosu, Radu and Hettler, Rudi and Hussmann, Heinrich and Nazareth, Dieter and Regensburger, Franz and Slotosch, Oscar and St{\o}len, Ketil}, title = {The Requirement and Design Specification Language SPECTRUM}, series = {TUM-Info. 9311}, subtitle = {An Informal Introduction : Version 1.0. Part I}, publisher = {Technische Universit{\"a}t M{\"u}nchen}, address = {M{\"u}nchen}, pages = {58}, year = {1993}, language = {en} } @techreport{BroyFacchiGrosuetal.1993, author = {Broy, Manfred and Facchi, Christian and Grosu, Radu and Hettler, Rudi and Hussmann, Heinrich and Nazareth, Dieter and Regensburger, Franz and Slotosch, Oscar and St{\o}len, Ketil}, title = {The Requirement and Design Specification Language SPECTRUM}, series = {TUM-Info. 9312}, subtitle = {An Informal Introduction : Version 1.0. Part II}, publisher = {Technische Universit{\"a}t M{\"u}nchen}, address = {M{\"u}nchen}, pages = {96}, year = {1993}, language = {en} }