Methods and tools to the verification of safety-related control software. - Thomas Mertke; Thomas Menzel (SMC, 2000)

Formal verification of PLC programs generated from signal interpreted Petri nets. - Thomas Mertke; Georg Frey (SMC, 2001)

Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache. - Thomas Mertke (2004)