Christine Rochange 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July 3, 2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 WCET 6 OASICS db/conf/wcet/wcet2007.html http://drops.dagstuhl.de/portals/07002/