@misc{indiciaee0a67bb0d899,
  title = {Tool Supported Analysis of IoT},
  author = {Chiara Bodei and Pierpaolo Degano and Letterio Galletta and Emilio Tuosto},
  year = {2017},
  doi = {10.4204/eptcs.261.6},
  url = {https://arxiv.org/abs/1711.11210},
  note = {Source identifier: 1711.11210}
}