A concept for PLC hardware-in-the-loop testing using an extension of structured text. - David Thönnessen; Niklas Reinker; Stefan Rakel; Stefan Kowalewski (ETFA, 2017)

Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications. - David Thönnessen; Niklas Reinker; Stefan Rakel; Andrei Svetlakov; Stefan Kowalewski (CASE, 2018)