Injecting faults into environment simulators for testing safety critical software | Publicación