@misc{indiciae53ce31ec4fd4,
  title = {BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems},
  author = {Jan Olaf Blech and Heinz Schmidt},
  year = {2014},
  url = {https://arxiv.org/abs/1404.3537},
  note = {Source identifier: 1404.3537}
}