12. WCET 2012: Pisa, Italy