Walling R. Cyre Aniruddha Thakar Generating Validation Feedback for Automatic Interpretation of Informal Requirements. 73-92 1997 10 Formal Methods in System Design 1 db/journals/fmsd/fmsd10.html#CyreT97 http://dx.doi.org/10.1023/A:1008687607689