TBRIM: decision support for validation/verification of requirements. - Joseph J. Romano; James D. Palmer 001 (SMC, 1998)