@inproceedings{WatchdogTransformations,
  title = "Watchdog transformations for property-oriented model checking",
  author = "A. W. Roscoe and M.H. Goldsmith and N.Moffat and T. Whitworth and I. Zakiuddin",
  year = "2003",
  booktitle = "{Proceedings of FME 2003}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/91.pdf",
}