Towards the Pervasive Verification of Automotive Systems. - Thomas In der Rieden; Dirk Leinenbach; Wolfgang J. Paul (CHARME, 2005)

An approach to the pervasive formal specification and verification of an automotive system: status report. - Thomas In der Rieden; Steffen Knapp (FMICS, 2005)

Towards the Formal Verification of Lower System Layers in Automotive Systems. - Sven Beyer; Peter Böhm; Michael Gerke 002; Mark A. Hillebrand; Thomas In der Rieden; Steffen Knapp; Dirk Leinenbach; Wolfgang J. Paul (ICCD, 2005)

Dealing with I/O Devices in the Context of Pervasive System Verification. - Mark A. Hillebrand; Thomas In der Rieden; Wolfgang J. Paul (ICCD, 2005)

CVM - A Verified Framework for Microkernel Programmers. - Thomas In der Rieden; Alexandra Tsyban (SSV, 2008)