Matthias Gehrke Martin Hirsch Wilhelm Schäfer Oliver Niggemann Dirk Stichling Ulrich Nickel 0002 Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. 73-82 2007 MBEES http://www.sse-tubs.de/publications/CGRS_MBEES_InfoBericht_07.pdf conf/mbees/2007 db/conf/mbees/mbees2007.html#GehrkeHSNSN07