Cabraland Sampaio. Automated Formal Specification Generation and Refinement from Requirement Documents. Springer Nature, 2008, doi:10.1590/s0104-65002008000100008.