7. WCET 2007: Pisa, Italy