@misc{indiciae6d4810d5c77c,
  title = {How to Extend the Abstraction Refinement Model for Systems with Emergent Behavior ?},
  author = {Mohamed Toufik Ailane and Christoph Knieke and Andreas Rausch},
  year = {2022},
  url = {https://arxiv.org/abs/2208.13471},
  note = {Source identifier: 2208.13471}
}