@misc{indiciae80495b7dedb7,
  title = {A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B},
  author = {Carlos Olarte and Camilo Rocha and Daniel Osorio},
  year = {2022},
  url = {https://arxiv.org/abs/2206.05813},
  note = {Source identifier: 2206.05813}
}