1. B. Barber and J. Davey. The use of the ccta risk analysis and management methodology cramm in health information systems. In K.C. Lun, P. Degoulet, T.E. Piemme, and O. Rienhoff editors, MEDINFO 92, pages 1589–1593, Amsterdam, 1992. North Holland Publishing Co.
2. S. Brown. Overview of iec 61508: design of electrical/electronic/programmable electronic safety-related systems. Computing Control Engineering Journal, 11:6–12, February 2000.
3. CORAS, The CORAS Intregrated Platform. Poster at the CORAS public workshop during ICT-2002, 2002.
4. DoD. Military standard: System safety program requirements. Standard MIL-STD-882B, Department of Defense, Washington DC 20301, USA, 30 March 1984.
5. D. Dolev and A. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, 29(2):198–208, 1983.