@inproceedings{Stephens_Heiser_02,
    address          = {St Emilion, France},
    author           = {Shane Stephens and Gernot Heiser},
    booktitle        = {Proceedings of the 10th SIGOPS European Workshop},
    month            = sep,
    paperurl         = {https://trustworthy.systems/publications/papers/Stephens_Heiser_02.pdf},
    title            = {Fault Tolerance and Avoidance in Biomedical Systems},
    year             = {2002}
  }