Accelerating validation of time-triggered automotive systems on FPGAs | IEEE Conference Publication | IEEE Xplore