The case for an evidence based approach to software certification. Safety standards review committee, UK Ministry of Defence (2003)

by P Caseley, N Tudor, C O’Halloran