TY - CHAP A1 - Mertke, Thomas A1 - Deussen, Peter H. A1 - Heiner, Monika T1 - Eine anwenderorientierte Sicherheitsfachsprache zur Verifikation von Steuerungsprogrammen Y1 - 2001 ER - TY - THES A1 - Mertke, Thomas T1 - Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache T1 - A Technical Language for Formal Safety Specification of Reactive Systems Y1 - 2004 SN - 3-8322-3085-8 PB - Shaker Verlag CY - Aachen ER - TY - GEN A1 - Heiner, Monika A1 - Mertke, Thomas A1 - Deussen, Peter H. T1 - A Safety-Oriented Technical Language for the Requirement Specification in Control Engineering (Eine Sicherheitsfachsprache zur Formulierung steuerungstechnischer Anforderungen); in German Y1 - 2001 ER -