TBRIM: decision support for validation/verification of requirements | IEEE Conference Publication | IEEE Xplore