Verification of AUTOSAR Software Architectures with Timed Automata. - Steffen Beringer; Heike Wehrheim (FMICS-AVoCS, 2016)

Consistency Analysis of AUTOSAR Timing Requirements. - Steffen Beringer; Heike Wehrheim (ICSOFT, 2020)

Timing Verifikation von AUTOSAR Softwarearchitekturen (Timing verification of AUTOSAR software architectures) - Steffen Beringer (2022)