Holtmann, Jörg, et al. “Automatic Validation and Correction of Formalized, Textual Requirements.”10.1109/icstw.2011.17__2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011, doi:10.1109/icstw.2011.17.