@inproceedingsXie_Müller_Letombe_2012, place= Niagara Falls, NY, USA , title=Mutation-Analysis Driven Functional Verification of a Soft Microprocessor, DOI=10.1109/SOCC.2012.6398362, booktitle=Proceedings of SO, publisher=IEEE, author=Xie, Tao10.1109/SOCC.2012.6398362__and Müller, Wolfgang and Letombe, Florian, year=2012 

@inproceedingsGroßmann_Müller_2006, place=Paphos, Cyprus, title=A Formal Behavioral Semantics for TestML, DOI=10.1109/ISoLA.2006.37, booktitle=Proc. of ISOLA 06, author=Großmann, Jürgen and Müller, Wolfgang, year=2006 

@inproceedingsMüller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place=Munich, Germany , title=The Simulation Semantics of SystemC, DOI=10.1109/DATE.2001.915002, booktitle=Proceedings of the Design, Automation, and Test in Europe (DATE’01), publisher=IEEE, author=Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W., year=2001