Functionally and Temporally Correct Simulation of Cyber-Systems for Automotive Systems. - Kyoung-Soo We; Seunggon Kim; Wonseok Lee; Chang-Gun Lee (RTSS, 2017)