@misc{indiciae7cc7c7869e87,
  title = {REACH: Refining Alloy Scenarios by Scope},
  author = {Ana Jovanovic and Allison Sullivan},
  year = {2021},
  url = {https://arxiv.org/abs/2110.11898},
  note = {Source identifier: 2110.11898}
}