@misc{indiciae7add57812e29,
  title = {A Formally Verified Fail-Operational Safety Concept for Automated Driving},
  author = {Yuting Fu and Andrei Terechko and Jan Friso Groote and Arash Khabbaz Saberi},
  year = {2020},
  doi = {10.4271/12-05-01-0002},
  url = {https://arxiv.org/abs/2011.00892},
  note = {Source identifier: 2011.00892}
}