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