@inproceedings{25145, author = {{Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}}, booktitle = {{17th Euromicro Conference on Digital Systems Design (DSD)}}, title = {{{Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software}}}, year = {{2014}}, }