Extraction of System States from Natural Language Requirements | IEEE Conference Publication | IEEE Xplore