9. WCET 2009: Dublin, Ireland