1. 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, Berlin (2010)
2. Altran Praxis: The Tokeneer Project. http://www.adacore.com/tokeneer (cited August 2009)
3. Barnes, J., Chapman, R., Johnson, R., Widmaier, J., Cooper, D., Everett, B.: Engineering the Tokeneer enclave protection software. In: 1st IEEE International Symposium on Secure Software Engineering (2006)
4. Barnes, J., Cooper, D.: Tokeneer ID station: formal specification. Tech. Rep. S.P1229.41.2, Altran Praxis (2008)
5. Bisztray, D., Ehrig, K., Heckel, R.: Case study: UML to CSP transformation. In: Applications of Graph Transformation with Industrial Relevance (2007)