@InProceedings{Daum:SEFM09-23,
  author =       "Matthias Daum and Norbert Walter Schirmer and Mareike
                 Schmidt",
  title =        "Implementation Correctness of a Real-Time Operating
                 System",
  pages =        "23--32",
  ee =           "http://dx.doi.org/10.1109/SEFM.2009.14",
  year =         "2009",
  month =        nov,
  editor =       "Dang Van Hung and Padmanabhan Krishnan",
  booktitle =    "7th International Conference on Software
                 Engineering and Formal Methods ({SEFM} 2009)",
  address =      "Hanoi, Vietnam",
  publisher =    "IEEE Computer Society",
}