@article{Klein_09,
  author={Gerwin Klein},
  title={Operating System Verification --- An Overview},
  journal={S\={a}dhan\={a}},
  publisher={Springer},
  year=2009,
  volume=34,
  number=1,
  month=Feb,
  pages={27--69},
}

@techreport{Klein_08-tr,
  author={Gerwin Klein},
  title={Operating System Verification --- An Overview},
  number={NRL-955},
  institution={NICTA},
  address={Sydney, Australia},
  month=jun,
  year=2008
}