Injecting Faults into Environment Simulators for Testing Safety Critical Software. - Hong Zhu 002; Patrick A. V. Hall; John H. R. May; T. Cockram (EDCC, 1994)