A Natural Language Processing Technique for Formalization of Systems Requirement Specifications | IEEE Conference Publication | IEEE Xplore