@inproceedings{MertkeDeussenHeiner, author = {Mertke, Thomas and Deussen, Peter H. and Heiner, Monika}, title = {Eine anwenderorientierte Sicherheitsfachsprache zur Verifikation von Steuerungsprogrammen}, language = {de} }