@INPROCEEDINGS{grosu02hcos,
  AUTHOR =       "R. Grosu and E. Zadok and S. A. Smolka and R. Cleaveland and Y. A. Liu",
  TITLE =        "High-Confidence Operating Systems",
  BOOKTITLE =    "Proceedings of the Tenth {SIGOPS} European Workshop: ``Can we really depend on an OS?''",
  PAGES =        "205--208",
  MONTH =        "September",
  YEAR =         "2002",
  ADDRESS =      "Saint-Emilion, France",
}