@misc{indiciaedf3657a39a57,
  title = {On Strong Observational Refinement and Forward Simulation},
  author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
  year = {2021},
  url = {https://arxiv.org/abs/2107.14509},
  note = {Source identifier: 2107.14509}
}