Marcel Oliveira Manuela Xavier Ana Cavalcanti Refine and Gabriel: Support for Refinement and Tactics. 310-319 2004 conf/sefm/2004 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.37 db/conf/sefm/sefm2004.html#OliveiraXC04