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