@misc{indiciae39efa37d3730,
  title = {Formal Verification of a Fail-Operational Automotive Driving System},
  author = {Tobias Schmid and Stefanie Schraufstetter and Jonas Fritzsch and Dominik Hellhake and Greta Koelln and Stefan Wagner},
  year = {2021},
  url = {https://arxiv.org/abs/2101.07307},
  note = {Source identifier: 2101.07307}
}