Evaluation of deterministic fault injection for fault-tolerant protocol testing | IEEE Conference Publication | IEEE Xplore