Raimund Kirner 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Prague, Czech Republic, July 1, 2008 WCET Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 08003 Dagstuhl Seminar Proceedings db/conf/wcet/wcet2008.html