Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.”https://doi.org/10.1109/ICCPS.2014.6843726__Berlin: IEEE, 2014.https://doi.org/10.1109/ICCPS.2014.6843726 .

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 .

Dücker, M., Christian Geiger, R. Hunstock, Georg Lehrenfeld, and Wolfgang Müller. “Visual-Textual Prototyping of 4D Scenes.”https://doi.org/10.1109/VL.1997.626601__In Proceedings of the 1997 IEEE Symposium on Visual Languages. Capri, Italy, 1997.https://doi.org/10.1109/VL.1997.626601 .

Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams Into a Complete Visual Representation.”https://doi.org/10.1109/VL.1995.520803__In Proceedings of Symposium on Visual Languages.https://doi.org/10.1109/VL.1995.520803__Darmstadt, Germany , 1995.https://doi.org/10.1109/VL.1995.520803 .