@misc{HeinerMertkeDeussen2003, author = {Monika Heiner and Thomas Mertke and Peter H. Deussen}, title = {A Safety-Oriented Technical Language for the Requirement Specification in Control Engineering (Eine Sicherheitsfachsprache zur Formulierung steuerungstechnischer Anforderungen); in German}, institution = {FG Datenstrukturen und Softwarezuverl{\"a}ssigkeit}, type = {articlenr}, year = {2003}, }