Testing of fault-tolerant and real-time distributed systems via protocol fault injection | IEEE Conference Publication | IEEE Xplore