@misc{indiciae7714dbd98b3c,
  title = {The High-Assurance ROS Framework},
  author = {André Santos and Alcino Cunha and Nuno Macedo},
  year = {2021},
  url = {https://arxiv.org/abs/2103.01603},
  note = {Source identifier: 2103.01603}
}