Evaluating the use of model-based requirements verification method: A feasibility study | IEEE Conference Publication | IEEE Xplore