L. Nenzi and L. Bortolussi, “Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic”, EAI Endorsed Trans Cloud Sys, vol. 1, no. 4, p. e4, Feb. 2015.