@misc{singh2017safety,
  title={Safety Requirement Specifications for Connected Vehicles},
  author={Madhusudan Singh and Shiho Kim},
  year={2017},
  eprint={1707.08715},
  archivePrefix={arXiv},
  primaryClass={cs.CY},
  url={https://arxiv.org/abs/1707.08715}
}