Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software | IEEE Conference Publication | IEEE Xplore