@inproceedings{MertkeDeussenHeiner, author = {Mertke, Thomas and Deussen, Peter H. and Heiner, Monika}, title = {Eine anwenderorientierte Sicherheitsfachsprache zur Verifikation von Steuerungsprogrammen}, language = {de} } @phdthesis{Mertke, author = {Mertke, Thomas}, title = {Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache}, publisher = {Shaker Verlag}, address = {Aachen}, isbn = {3-8322-3085-8}, pages = {XV, 225}, language = {de} } @misc{HeinerMertkeDeussen, author = {Heiner, Monika and Mertke, Thomas and Deussen, Peter H.}, title = {A Safety-Oriented Technical Language for the Requirement Specification in Control Engineering (Eine Sicherheitsfachsprache zur Formulierung steuerungstechnischer Anforderungen); in German}, language = {en} }