@misc{indiciaeaf43b54c42a1,
  title = {Formal Analysis of Non-functional Properties for a Cooperative Automotive System},
  author = {Eun-Young Kang and Li Huang and Dongrui Mu},
  year = {2018},
  url = {https://arxiv.org/abs/1803.06075},
  note = {Source identifier: 1803.06075}
}