@inproceedings{DaumSS_SEFM09-23, <br>AUTHOR = {Daum, Matthias and Schirmer, Norbert W. and Schmidt, Mareike},<br>TITLE = {Implementation Correctness of a Real-Time Operating System},<br>YEAR = {2009},<br>PAGES = {23-32}, <br>BOOKTITLE = {7th {IEEE} International Conference on Software Engineering and Formal Methods ({SEFM} 2009), 23--27 November 2009, Hanoi, Vietnam}, <br>PUBLISHER = {IEEE},<br>EE = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2009.14},<br>}