@misc{indiciaeb158c983cf89,
  title = {Safety assurance of an industrial robotic control system using hardware/software co-verification},
  author = {Yvonne Murray and Martin Sirevåg and Pedro Ribeiro and David A. Anisi and Morten Mossige},
  year = {2021},
  doi = {10.1016/j.scico.2021.102766},
  url = {https://arxiv.org/abs/2112.12248},
  note = {Source identifier: 2112.12248}
}