@misc{indiciae22cb7fb7f25f,
  title = {MISRA C, for Security's Sake!},
  author = {Roberto Bagnara},
  year = {2017},
  url = {https://arxiv.org/abs/1705.03517},
  note = {Source identifier: 1705.03517}
}