Alexandre L. Correa Cláudia Maria Lima Werner Precise Specification and Validation of Transactional Business Software. 16-25 2004 conf/re/2004 RE http://doi.ieeecomputersociety.org/10.1109/RE.2004.36 db/conf/re/re2004.html#CorreaW04