@inproceedings{SBST05b,
  key         ={SBST05b},
  author      ={K. Schneider and J. Brandt and T. Schuele and T. Tuerk},
  title       ={Maximal Causality Analysis},
  booktitle   ={Application of Concurrency to System Design (ACSD)},
  address     ={St. Malo, France},
  editor      ={J. Desel and Y. Watanabe},
  publisher   ={IEEE Computer Society},
  pages       ={106-115},
  year        ={2005},
  remark      ={rsg}
}