Functionally and Temporally Correct Simulation of Cyber-Systems for Automotive Systems | IEEE Conference Publication | IEEE Xplore