6. WCET 2006: Dresden, Germany