"jSSTL - A Tool to Monitor Spatio-Temporal Properties."

Laura Nenzi, Luca Bortolussi, Michele Loreti (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics