5. WCET 2005: Palma de Mallorca, Spain