@workingPaper{GrosseHufschmidt_1993, title={SOLL-Spezifikation aus Sicht der Sicherheit}, author={Grosse, Malte and Hufschmidt, Holger}, doi={http://dx.doi.org/10.22028/D291-26134}, year={1993} }