Warning - the bibtex entry below may be invalid: 
Missing 'booktitle' 
@conference{harness,
  author = "Gavin Lowe",
  journal = "Proceedings of Workshop on Automated Verification of Critical Systems (AVoCS 2007)",
  title = "On CSP refinement tests that run multiple copies of a process",
  year = "2007",
}