Oliveira, M. F. S., Zabel, H., &; Müller, W. (2010). Assertion-Based Verification of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5457130 
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

Müller, W., Dömer, R., &; Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. Proceedings of the ISS.https://doi.org/10.1145/581199.581234  
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Dücker, M., Müller, W., &; Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. https://doi.org/10.1109/HICSS.1999.773046__Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA .https://doi.org/10.1109/HICSS.1999.773046 
LibreCat: /record/39488
DOI: 10.1109/HICSS.1999.773046