Coping with Requirements Changes in Software Verification and Validation. - Shimin Li; Ladan Tahvildari; Weining Liu; Mike Morrissey; Gary Cort (CSMR, 2008)