Nenzi, L., & Bortolussi, L. (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