A knowledge-based method for validating specifications including open parts | IEEE Conference Publication | IEEE Xplore