@misc{indiciaef78c3db1dfe6,
  title = {Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack},
  author = {Rob van Glabbeek and Peter Höfner},
  year = {2017},
  doi = {10.4204/eptcs.244.2},
  url = {https://arxiv.org/abs/1703.06569},
  note = {Source identifier: 1703.06569}
}