1. Aviz̆ienis, A., Laprie, J.-C. and Randell, B. (2000) Fundamental concepts of dependability. Position Paper for the Third Information Survivability Workshop; October 2000, Boston, MA: CERT, Paper 56.
2. Aviz̆ienis, A., Laprie, J.-C., Randell, B. and Landwehr, C.E. (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 1 (1): 11–33.
3. Besnard, D. and Baxter, G. (2003) Human compensations for undependable systems. Newcastle upon Tyne, UK: School of Computing Science. Technical Report CS-TR-819, November 2003.
4. Blyth, A.J.C., Chudge, J., Dobson, J.E. and Strens, M.R. (1993) ORDIT: A new methodology to assist in the process of eliciting and modelling organisational requirements. In: S. Kaplan (ed.) Proceedings on the Conference on Organisational Computing Systems. Milpitas, CA: ACM Press, pp. 216–227.
5. Burns, A., Hayes, I.J., Baxter, G. and Fidge, C.J. (2005) Modelling temporal behaviour in complex socio-technical systems. University of York. Technical Report YCS-2005-390.