Partial validation of a design specification with respect to requirements | IEEE Conference Publication | IEEE Xplore