@misc{indiciae8126b4125c9d,
  title = {Failure divergence refinement for Event-B},
  author = {Sebastian Stock and Michael Leuschel and Atif Mashkoor},
  year = {2025},
  url = {https://arxiv.org/abs/2505.19069},
  note = {Source identifier: 2505.19069}
}