@misc{indiciae99d9482224aa,
  title = {Rigorous Safety Analysis and Design of ADAS and ADS: Implications on Tools},
  author = {Juan Pimentel},
  year = {2024},
  url = {https://arxiv.org/abs/2406.08350},
  note = {Source identifier: 2406.08350}
}