Statistics of Timing verification of real-time automotive Ethernet networks: what can we expect from simulation?