TITLE     : Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
AUTHOR(S) : Nenzi L, Bortolussi L, Ciancia V, Loreti M, Massink M
TYPE      : Journal article
YEAR      : 2018
CODE      : 393208

*** DO NOT EDIT THIS FILE ***