@misc{indiciae5de5699ff292,
  title = {Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement},
  author = {Tsutomu Kobayashi and Martin Bondu and Fuyuki Ishikawa},
  year = {2024},
  doi = {10.1007/978-3-031-27481-7\_30},
  url = {https://arxiv.org/abs/2401.04875},
  note = {Source identifier: 2401.04875}
}