Coping with Requirements Changes in Software Verification and Validation | IEEE Conference Publication | IEEE Xplore