Virtual prototyping of Cyber-Physical Systems. - Wolfgang Müller 003; Markus Becker 001; Ahmed Elfeky; Anthony DiPasquale (ASP-DAC, 2012)