A Formal Component Concept for the Specification of Industrial Control Systems. - Benjamin Braatz; Markus Klein 001; Gunnar Schröter; Matthias Bengel (SoftSpez Final Report, 2004)

Basic Principles for Software Specification: Introduction to Subject Area Reference Case Study Production Automation. - Engelbert Westkämper; Matthias Bengel; Katja Fischer (SoftSpez Final Report, 2004)

Plug-and-Produce Technologies Real-time Aspects - Service Oriented Architectures for SME Robots and Plug-and-Produce. - Klas Nilsson; Matthias Bengel (ICINCO-RA (2), 2008)

Mobile robots for offshore inspection and manipulation. - Matthias Bengel; Kai Pfeiffer; Birgit Graf; Alexander Bubeck; Alexander Verl (IROS, 2009)

Automatic Generation of Robot Applications Using a Knowledge Integration Framework. - Martin Naumann; Matthias Bengel; Alexander Verl (ISR/ROBOTIK, 2010)

Offshore robotics - Survey, implementation, outlook. - Kai Pfeiffer; Matthias Bengel; Alexander Bubeck (IROS, 2011)

Reuse Assessment of IEC 61131-3 Control Software Modules Using Metrics - An Industrial Case Study. - Juliane Fischer; Birgit Vogel-Heuser; Christoph Huber; Markus Felger; Matthias Bengel (INDIN, 2021)

Measuring the Overall Complexity of Graphical and Textual IEC 61131-3 Control Software. - Juliane Fischer; Birgit Vogel-Heuser; Heiko Schneider; Nikolai Langer; Markus Felger; Matthias Bengel (IEEE Robotics Autom. Lett., 2021)

Towards automatic generation of functionality semantics to improve PLC software modularization. - Jan Wilch; Juliane Fischer; Nikolai Langer; Markus Felger; Matthias Bengel; Birgit Vogel-Heuser (Autom., 2022)