M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,”10.1109/DATE.2010.5457130__presented at the 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden, 2010, doi:10.1109/DATE.2010.5457130 .
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,”10.1145/581199.581234 __2002, doi:10.1145/581199.581234  .
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating Shared Workspaces through Visual Programming,”10.1109/HICSS.1999.773046__presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA , 1999, doi:10.1109/HICSS.1999.773046 .
LibreCat: /record/39488
DOI: 10.1109/HICSS.1999.773046