@misc{indiciae620fcb7743fb,
  title = {A Formal Approach to System Integration Testing},
  author = {Susanne Kandl and Martin Elshuber},
  year = {2014},
  url = {https://arxiv.org/abs/1404.6743},
  note = {Source identifier: 1404.6743}
}