A Software Fault Injector to Validate Implementations of a Safety Communication Protocol | IEEE Conference Publication | IEEE Xplore