RSLingo: An information extraction approach toward formal requirements specifications | IEEE Conference Publication | IEEE Xplore