Verifying Properties of an Electro-Mechanical Braking System. - Thomas Strathmann; Jens Oehlerking (ARCH@CPSWeek, 2015)

Verification of Systems in Physical Contexts. - Jens Oehlerking; Thomas Strathmann (Advanced Model-Based Engineering of Embedded Systems, 2016)

Project Overview for Step-Up!CPS - Process, Methods and Technologies for Updating Safety-critical Cyber-physical Systems. - Thomas Strathmann; Georg Hake; Houssem Guissouma; Carl Philipp Hohl; Yosab Bebawy; Sebastian Vander Maelen; Andrew Koerner (DATE, 2021)