Automatic Validation and Correction of Formalized, Textual Requirements | IEEE Conference Publication | IEEE Xplore