1. Abrial, J.-R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to event-B. Fundam. Inform. 77(1–2), 1–28 (2007)
2. Altran. Tokeneer project release (2008).
https://www.adacore.com/tokeneer
. Accessed 13 Dec 2017
3. Astill, J.: Precision instruments. Airport Focus International, September 2012.
http://airportfocusinternational.com/precision-instruments/
. Accessed 20 Dec 2017
4. 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, March 2006
5. Barnes, J.: SPARK: The Proven Approach to High Integrity Software, 3rd edn. Altran, Paris (2012)