Matthias Gehrke Martin Hirsch Wilhelm Schäfer Oliver Niggemann Dirk Stichling Ulrich Nickel Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen. 251-252 2007 conf/se/2007 Software Engineering db/conf/se/se2007.html#GehrkeHSNSN07