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

H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract RTOS Simulation,”10.1109/DATE.2009.5090925__presented at the Design, Automation &; Test in Europe Conference &; Exhibition, 2009, doi:10.1109/DATE.2009.5090925 .
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925