@misc{indiciae3b3d56f1503c,
  title = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL},
  author = {L. Nenzi and L. Bortolussi and V. Ciancia and M. Loreti and M. Massink},
  year = {2018},
  doi = {10.23638/lmcs-14(4:2)2018},
  url = {https://arxiv.org/abs/1706.09334},
  note = {Source identifier: 1706.09334}
}