1. Bloomfield R, Bishop P, Jones C, Froome P. ASCAD ‐ Adelard Safety Case Development Manual, 1998.
2. The case for an evidence based approach to software certification;Caseley;Saf Stand Rev Comm, UK Minist Def,2003
3. Dawkings S, Kelly T. Supporting the use of COTS in safety critical applications. In: Proceedings of the IEE colloquium on COTS and safety critical systems. No. Digest No. 1997/013. IET; 1997.
4. de Lemos R, Saeed A, Anderson T. On the integration of requirements analysis and safety analysis for safety-critical systems. Tech. Rep. CS-TR:629. University of Newcastle upon Tyne; 1998. 〈http://citeseer.ist.psu.edu/536230.html〉.
5. DO-178B. Software considerations in airborne systems and equipment certification, rtca inc. and eurocae; 1992.