Engineering Change: Methodology and Applications to Behavioral and System Synthesis