@inproceedings{ScBr08,
  key         ={ScBr08},
  author      ={K. Schneider and J. Brandt},
  title       ={Performing Causality Analysis by Bounded Model Checking},
  booktitle   ={Conference on Application of Concurrency to System Design (ACSD)},
  address     ={Xi'an, China},
  publisher   ={IEEE Computer Society},
  pages       ={78-87},
  year        ={2008},
  remark      ={rsg}
}