@misc{indiciae37810740ba52,
  title = {A Formal Model to Facilitate Security Testing in Modern Automotive Systems},
  author = {Eduardo dos Santos and Andrew Simpson and Dominik Schoop},
  year = {2018},
  doi = {10.4204/eptcs.271.7},
  url = {https://arxiv.org/abs/1805.05520},
  note = {Source identifier: 1805.05520}
}