@inproceedings{26092, author = {{Müller, Wolfgang and Becker, Markus and Zabel, Henning and Elfeky, Ahmed and DiPasquale, Anthony}}, booktitle = {{In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012}}, title = {{{Virtual Prototyping of Cyber-Physical Systems}}}, year = {{2012}}, }