An initial evaluation of requirements dependency types in change propagation analysis | IET Conference Publication | IEEE Xplore