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

@inproceedings{Bose-Matthews:ASE00,
  author    = {Prasanta K. Bose and
               Mark G. Matthews},
  title     = {Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies},
  booktitle = {ASE},
  pages     = {325-},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
}