1. 2011 Microsoft Research Verified Software Milestone Award: Janet Barnes and Rod Chapman for the Tokeneer project, https://sites.google.com/site/verifiedsoftwareinitiative/mrs-award/2011-award
2. Abdelhalim, I., Sharp, J., Schneider, S.A., Treharne, H.: Formal verification of Tokeneer behaviours modelled in fUML using CSP. In: Dong, J.S., Zhu, H. (eds.) Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6447, pp. 371–387. Springer (2010), https://doi.org/10.1007/978-3-642-16901-4_25
3. Altran UK: Tokeneer software and project documents (2008), http://www.adacore.com/uploads/downloads/tokeneer.zip
4. Andréka, H., Givant, S.R., Németi, I.: Decision problems for equational theories of relation algebras, vol. 604. American Mathematical Soc. (1997)
5. Barnes, J., Chapman, R., Johnson, R., Widmaier, J., Cooper, D., Everett, B.: Engineering the Tokeneer enclave protection software. In: Proceedings of the IEEE International Symposium on Secure Software Engineering. IEEE (2006)