Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.”https://doi.org/10.1109/ISoLA.2006.37__In Proc. of ISOLA 06. Paphos, Cyprus, 2006.https://doi.org/10.1109/ISoLA.2006.37 .

Enzler, Rolf, Christian Plessl, and Marco Platzner. “System-Level Performance Evaluation of Reconfigurable Processors.”https://doi.org/10.1016/j.micpro.2004.06.004__Microprocessors and Microsystems 29, no. 2–3 (2005): 63–73.https://doi.org/10.1016/j.micpro.2004.06.004 .

Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” In Proceedings of ISNG 05. Las Vegas, NV, 2005.

Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.”https://doi.org/10.1109/VLHCC.2005.64__In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005.https://doi.org/10.1109/VLHCC.2005.64 .

Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.”https://doi.org/10.1109/DATE.2004.1269214__In Proceedings of DATE’04 Designers’ Forum. Paris, 2004.https://doi.org/10.1109/DATE.2004.1269214 .

Enzler, Rolf, Christian Plessl, and Marco Platzner. “Co-Simulation of a Hybrid Multi-Context Architecture.” In Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 174–80. CSREA Press, 2003.

Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.”https://doi.org/10.1109/ENABL.2001.953425__In Proceedings of IEEE KMN 2001. Cambridge, MA, USA , 2001.https://doi.org/10.1109/ENABL.2001.953425 .

Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.”https://doi.org/10.1109/DATE.2001.915002__In Proceedings of the Design, Automation, and Test in Europe (DATE’01). Munich, Germany : IEEE, 2001.https://doi.org/10.1109/DATE.2001.915002 .

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

Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.”https://doi.org/10.1109/HICSS.1999.772621__In Proceedings of HICSS-32. Maui, Hawaii, 1999.https://doi.org/10.1109/HICSS.1999.772621 .