Markus Becker, Christoph Kuznik, Wolfgang Mueller. Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. In 17th Euromicro Conference on Digital System Design, DSD 2014, Verona, Italy, August 27-29, 2014. pages 246-253, IEEE, 2014. [doi]
Abstract is missing.