Control Register Specification and Verification in Complex Systems. - Christoph Jäschke; Ralf Winkelmann; Johannes Kösters (MBMV, 2006)

Verification of Non-Mainline Functions in Todays Processor Chips. - Johannes Koesters; Alex Goryachev (DAC, 2014)

Modulare Verifikation von Non-Mainline Chip-Level Funktionen. - Matteo Michel; Johannes Koesters; Benedikt Geukes (MBMV, 2015)