@misc{indiciaef55cdd9d3c46,
  title = {Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks},
  author = {Helena Gruhn and Sabine Glesner},
  year = {2013},
  doi = {10.4204/eptcs.108.4},
  url = {https://arxiv.org/abs/1302.5173},
  note = {Source identifier: 1302.5173}
}