Empirical studies of requirements validation techniques | IEEE Conference Publication | IEEE Xplore