Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time Properties for Hardware-Dependant Software. In: Proceedings of HLD. IEEE; 2010.
LibreCat: /record/37053

Gausemeier J, Müller W, Paelke V, Bauch J, Shen Q, Radkowski R. Virtual Prototyping Of Self-Optimizing Mechatronic Systems. In: Proceedings of the Design 2004. ; 2004.
LibreCat: /record/39078

Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: Proceedings of IEEE KMN 2001. ; 2001. doi:10.1109/ENABL.2001.953425
LibreCat: /record/39411
DOI: 10.1109/ENABL.2001.953425