Semiformale Methoden für den automatisierten Test eingebetteter Systeme. - Rocco Deutschmann (2006)

15. Workshop Automotive Software Engineering (ASE). - Alejandro Masrur; Wolfram Hardt; Rocco Deutschmann (GI-Jahrestagung, 2017)