Victor R. Basili Empirically Evolving Software Techniques: The High Dependability Computing Project. 3 2004 conf/icsm/2004 ICSM http://csdl.computer.org/comp/proceedings/icsm/2004/2213/00/22130003.pdf db/conf/icsm/icsm2004.html#Basili04