Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” Proceedings of HLD, IEEE, 2010.
LibreCat: /record/37053

Gausemeier, Jürgen, et al. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.” Proceedings of the Design 2004, 2004.
LibreCat: /record/39078

Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.”10.1109/ENABL.2001.953425__Proceedings of IEEE KMN 2001, 2001, doi:10.1109/ENABL.2001.953425.
LibreCat: /record/39411
DOI: 10.1109/ENABL.2001.953425