@misc{indiciaef4b06efe2b60,
  title = {Compositionality in Model-Based Testing},
  author = {Gijs van Cuyck and Lars van Arragon and Jan Tretmans},
  year = {2023},
  doi = {10.1007/978-3-031-43240-8\_13},
  url = {https://arxiv.org/abs/2307.03701},
  note = {Source identifier: 2307.03701}
}