Gallagher, K., Harman, M., & Danicic, S. (2003). Guaranteed inconsistency avoidance during software evolution. Journal of software maintenance and evolution, 15(6), 393-416. https://doi.org/10.1002/smr.289