@inproceedings{VerifyingStalemate,
  title = "{Verifying Statemate Statecharts Using CSP and FDR}",
  author = "A. W. Roscoe and Zhenzhong Wu",
  year = "2006",
  booktitle = "{Proceedings of ICFEM 2006}",
  note = "scripts: \url{http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/115.csp}; \url{http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/115statechartcompiler.csp}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/115.pdf",
}