A Cross-Disciplinary Language for Change Propagation Rules | IEEE Conference Publication | IEEE Xplore