@misc{indiciaeb1864fab9fd2,
  title = {Towards Scalable Modeling of Biology in Event-B},
  author = {Usman Sanwal and Thai Son Hoang and Luigia Petre and Ion Petre},
  year = {2021},
  url = {https://arxiv.org/abs/2105.10344},
  note = {Source identifier: 2105.10344}
}