@misc{indiciaefcaf51ad86ad,
  title = {Quest-V: A Virtualized Multikernel for High-Confidence Systems},
  author = {Ye Li and Matthew Danish and Richard West},
  year = {2011},
  url = {https://arxiv.org/abs/1112.5136},
  note = {Source identifier: 1112.5136}
}