@misc{indiciae853e9e43642b,
  title = {The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software},
  author = {Roberto Bagnara and Abramo Bagnara and Patricia M. Hill},
  year = {2018},
  url = {https://arxiv.org/abs/1809.00821},
  note = {Source identifier: 1809.00821}
}