@inproceedings{TuchKN-05,
  author =       {Harvey Tuch and Gerwin Klein and Gernot Heiser},
  title =        {OS Verification --- Now!},
  booktitle =    {Proc.\ 10th Workshop on Hot Topics in Operating Systems (HotOS X)},
  year =      {2005},
  editor =    {Margo Seltzer},
  note =      {to appear},
}