Nenzi, Laura, and Luca Bortolussi. “Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic”. EAI Endorsed Transactions on Cloud Systems, vol. 1, no. 4, Feb. 2015, p. e4, https://doi.org/10.4108/icst.valuetools.2014.258183.