1. Bloomfield RE, Littlewood B (2003) Confidence in safety claims. CSR, City University http://bscw.cs.ncl.ac.uk/bscw/bscw.cgi/0/43989
2. CAA (2001) Regulatory Objective for Software Safety Assurance in Air Traffic Service Equipment: SW01. Civil Aviation Authority, London
3. Dijkstra EW (1972) Notes on structured programming. In: Dahl O-J, Dijkstra EW, Hoare CAR (eds) Structured Programming. Academic, London New York, pp1–82
4. Eckhardt DE, Lee LD (1985) A Theoretical Basis of Multiversion Software Subject to Coincident Errors. IEEE Trans. on Software Engineering 11:1511–151
5. Guiho G, Hennebert C (1990) SACEM software validation. In: Proc 12th International Conference on Software Engineering, IEEE Computer Soc, pp186–191