Statistics of Simulation-Based Fault Injection as a Verification Oracle for the Engineering of Time-Triggered Ethernet networks