@conference{harness,
  title = "On CSP refinement tests that run multiple copies of a process",
  author = "Gavin Lowe",
  year = "2007",
  journal = "Proceedings of Workshop on Automated Verification of Critical Systems (AVoCS 2007)",
}