@inproceedingsBecker_Kuznik_Müller_2014, place=Berlin, title=Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems, DOI=10.1109/ICCPS.2014.6843726, publisher=IEEE, author=Becker, Markus and Kuznik, Christoph and Müller, Wolfgang, year=2014 

@inproceedingsKrupp_Müller_Oliver_2004, place=Paris, title=Formal Refinement and Model Checking of An Echo Cancellation Unit, DOI=10.1109/DATE.2004.1269214, booktitle=Proceedings of DATE’04 Designers’ Forum, author=Krupp, Alexander and Müller, Wolfgang and Oliver, Ian, year=2004 

@inproceedingsDücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place=Capri, Italy, title=Visual-Textual Prototyping of 4D Scenes, DOI=10.1109/VL.1997.626601, booktitle=Proceedings of the 1997 IEEE Symposium on Visual Languages, author=Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang, year=1997 

@inproceedingsLehrenfeld_Müller_Tahedl_1995, place= Darmstadt, Germany , title=Transforming SDL Diagrams Into a Complete Visual Representation, DOI=10.1109/VL.1995.520803, booktitle=Proceedings of Symposium on Visual Languages, author=Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C., year=1995