Evaluating the Use of Model-Based Requirement Verification Method: An Empirical Study. - Munmun Gupta; Daniel Aceituna; Gursimran S. Walia; Hyunsook Do (SEKE, 2014)