Software reliability: measures and effects in flight critical digital avionics systems
Improving software quality in a space application
Can software for the Strategic Defense Initiative ever be error-free?
A practical reliability evaluation of embedded avionic software
Laboratory software quality assurance efforts for future avionics
Software-reliability metrics for military systems
Practical applications of software reliability models
Rationale for the development of the UK defence standards for safety-critical computer software
Software product assurance at the Jet Propulsion Laboratory
A survey of software reliability measurement tools
Safety critical software in traffic control systems
Reliability testing of a software-driven system
Modular embedded computer software for advanced avionics systems
Tools for C2 software reliability analysis
Safety verification of Ada programs using software fault trees
Integrated toolset for high-integrity system verification and validation support (avionics)
The development of fault free software (for railway trains)