@misc{indiciae24721ac5d197,
  title = {Critical trees: counterexamples in model checking of CSM systems using CBS algorithm},
  author = {Wiktor B. Daszczuk},
  year = {2017},
  url = {https://arxiv.org/abs/1710.09887},
  note = {Source identifier: 1710.09887}
}