@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",
}
@inproceedings{fapotrust,
  title = "Formal Evaluation of Persona Trustworthiness with EUSTACE (Extended Abstract)",
  author = "Shamal Faily and David Power and Philip Armstrong and Ivan Flechais",
  year = "2013",
  booktitle = "Trust and Trustworthy Computing, 6th International Conference, TRUST 2013",
  note = "To Appear",
}