8. WCET 2008: Prague, Czech Republic