Engineering change: methodology and applications to behavioral and system synthesis | IEEE Conference Publication | IEEE Xplore