@misc{indiciae4148afa78a39,
  title = {Model-Based Monitoring for IoTs Smart Cities Applications},
  author = {Matteo Orrù and Marco Mobilio and Anas Shatnawi and Oliviero Riganelli and Alessandro Tundo and Leonardo Mariani},
  year = {2018},
  url = {https://arxiv.org/abs/1807.07460},
  note = {Source identifier: 1807.07460}
}