Ana Cavalcanti Augusto Sampaio Jim Woodcock Refinement: An overview. 1-17 2004 conf/psse/2004 PSSE http://dx.doi.org/10.1007/11889229_1 db/conf/psse/psse2004.html#CavalcantiSW04