Mauro Pezzè Introduction to the special section on FASE 2003. 133-134 2007 9 STTT 2 http://dx.doi.org/10.1007/s10009-006-0026-6 db/journals/sttt/sttt9.html#Pezze07