@inproceedings{BrGS09,
  key         ={BrGS09},
  author      ={J. Brandt and M. Gemünde and K. Schneider},
  title       ={Desynchronising Synchronous Programs by Modes},
  booktitle   ={Conference on Application of Concurrency to System Design (ACSD)},
  address     ={Augsburg, Germany},
  publisher   ={IEEE Computer Society},
  pages       ={},
  year        ={2009},
  remark      ={rsg}
}