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), p. e4. doi: 10.4108/icst.valuetools.2014.258183.