@inproceedingsKrupp_Müller_2010, place=Dresden, title=A Systematic Approach to Combined HW/SW System Test, DOI=10.1109/DATE.2010.5457186, booktitle=Proceedings of DATE’10, publisher=IEEE, author=Krupp, Alexander and Müller, Wolfgang, year=2010 
LibreCat: /record/37037
DOI: 10.1109/DATE.2010.5457186

@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 
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37