1. Ed 143 - minimum operational performance standards for traffic alert and collision avoidance system ii (tcas ii), April 2013
2. Bargh, J.A.: The four horsemen of automaticity: awareness, efficiency, intention, and control in social cognition, vol. 2, January 1994
3. Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
4. Ament, M., Cox, A., Blandford, A., Brumby, D.: Working memory load affects device-specific but not task-specific error rate. In: CogSci 2010: Proceedings of the Annual Conference of the Cognitive Science Society, pp. 91–96 (2010)
5. Anderson, H., Ciobanu, G.: Markov abstractions for probabilistic pi-calculus. Electr. Commun. EASST 22 (2009).
https://doi.org/10.14279/tuj.eceasst.22.317