A Rigorous Approach to Requirements Validation | IEEE Conference Publication | IEEE Xplore