J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,”10.1109/ISoLA.2006.37__Paphos, Cyprus, 2006, doi:10.1109/ISoLA.2006.37 .

R. Enzler, C. Plessl, and M. Platzner, “System-level performance evaluation of reconfigurable processors,” Microprocessors and Microsystems, vol. 29, no. 2–3, pp. 63–73, 2005.

T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,” 2005.

T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,”10.1109/VLHCC.2005.64__2005, doi:10.1109/VLHCC.2005.64 .

A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,”10.1109/DATE.2004.1269214__presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi:10.1109/DATE.2004.1269214 .

R. Enzler, C. Plessl, and M. Platzner, “Co-simulation of a Hybrid Multi-Context Architecture,” in Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 2003, pp. 174–180.

S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,”10.1109/ENABL.2001.953425__presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi:10.1109/ENABL.2001.953425 .

W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,”10.1109/DATE.2001.915002__presented at the10.1109/DATE.2001.915002__Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi:10.1109/DATE.2001.915002 .

C. Plessl and S. Maurer, Hardware/Software Codesign in Speech Compression Applications. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.

C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,”10.1109/HICSS.1999.772621__presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi:10.1109/HICSS.1999.772621 .