@misc{bloomfield2020assurance,
  title={Assurance 2.0: A Manifesto},
  author={Robin Bloomfield and John Rushby},
  year={2020},
  eprint={2004.10474},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  url={https://arxiv.org/abs/2004.10474}
}