Xie T, Müller W, Letombe F. Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. In: Proceedings of SO. IEEE; 2012. doi:10.1109/SOCC.2012.6398362

Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: Proc. of ISOLA 06. ; 2006. doi:10.1109/ISoLA.2006.37

Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: Proceedings of the Design, Automation, and Test in Europe (DATE’01). IEEE; 2001. doi:10.1109/DATE.2001.915002