A knowledge-based analyzer for requirements specification analysis | IEEE Conference Publication | IEEE Xplore