Model-based approach for change propagation analysis in requirements | IEEE Conference Publication | IEEE Xplore