Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. - Andreas Eggers; Matthias Stasch; Tino Teige; Tom Bienmüller; Udo Brockmeyer (SC-Square@FLOC, 2018)

Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. - Tino Teige; Andreas Eggers; Karsten Scheibler; Matthias Stasch; Udo Brockmeyer; Hans Jürgen Holberg; Tom Bienmüller (FM, 2021)