@unpublished{CompilingStalemateStatecharts,
  title = "{Compiling Statemate Statecharts into CSP and verifying them using FDR}",
  author = "A. W. Roscoe",
  year = "2003",
  month = "January",
  note = "Extended Abstract",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/94ab.ps",
}