Fault injection: a method for validating computer-system dependability | Synapse