Coordinated software development: A framework for reasoning about trace links in software systems | IEEE Conference Publication | IEEE Xplore