@inproceedings{2005_hotdep_spl,
  address = {USA},
  author = {Anil Madhavapeddy and Dave Scott},
  booktitle = {Proceedings of the First Conference on Hot Topics in System Dependability},
  month = {jun},
  pages = {6},
  publisher = {USENIX Association},
  series = {HotDep'05},
  title = {On the challenge of delivering high-performance, dependable, model-checked internet servers},
  url = {https://dl.acm.org/doi/10.5555/1973400.1973406},
  year = {2005}}