@inproceedings{mazur:2007,
  title = "Counter Abstraction in the CSP/FDR setting",
  author = "Tomasz Mazur and Gavin Lowe",
  year = "2007",
  booktitle = "Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS'07)",
  url = "http://web.comlab.ox.ac.uk/people/tomasz.mazur/publications/counterabstraction_AVoCS.pdf",
}