@inproceedings{fdr3,
  title = "FDR3 — A Modern Refinement Checker for CSP",
  author = "Thomas Gibson-Robinson and Philip Armstrong and Alexandre Boulgakov and A.W. Roscoe",
  year = "2014",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
  pages = "187-201",
  doi = "10.1007/978-3-642-54862-8_13",
}