Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel. Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. In Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Volume 2007-1 of Informatik-Bericht, pages 73-82, TU Braunschweig, Institut für Software Systems Engineering, 2007. [doi]