@misc{indiciae3279e3f827f6,
  title = {Testing a Battery Management System via Criticality-based Rare Event Simulation},
  author = {Daniel Grujic and Tabea Henning and Emilio José Calleja García and Andre Bergmann},
  year = {2021},
  doi = {10.1145/3470481.3472701},
  url = {https://arxiv.org/abs/2107.00530},
  note = {Source identifier: 2107.00530}
}