Krupp, A., &; Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE’10. Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5457186 

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