Nenzi, Laura, and Luca Bortolussi. 2015. “Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic”. EAI Endorsed Transactions on Cloud Systems 1 (4):e4. https://doi.org/10.4108/icst.valuetools.2014.258183.