Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies