Müller, W., da S. Oliveira, M. F., Zabel, H., &; Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLD. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.

Gausemeier, J., Müller, W., Paelke, V., Bauch, J., Shen, Q., &; Radkowski, R. (2004). Virtual Prototyping Of Self-Optimizing Mechatronic Systems. Proceedings of the Design 2004. 8th International Design Conference , Dubrovnik.

Flake, S., Geiger, C., Müller, W., &; Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.https://doi.org/10.1109/ENABL.2001.953425