Model Checking im Automotivbereich. - Hans-Werner Wiesbrock; Heiko Dörr; Hans Jürgen Holberg (GI Jahrestagung, 2002)

Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements. - Tino Teige; Tom Bienmüller; Hans Jürgen Holberg (MBMV, 2016)

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)