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

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

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.