@misc{indiciae790e51a14ad6,
  title = {Testing Reactive Systems Using Behavioural Programming, a Model Centric Approach},
  author = {Yeshayahu Weiss},
  year = {2021},
  url = {https://arxiv.org/abs/2112.01538},
  note = {Source identifier: 2112.01538}
}