Checking consistency between documents of requirements engineering phase | IEEE Conference Publication | IEEE Xplore