NENZI, L.; BORTOLUSSI, L. Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. EAI Endorsed Transactions on Cloud Systems, [S. l.], v. 1, n. 4, p. e4, 2015. DOI: 10.4108/icst.valuetools.2014.258183. Disponível em: https://publications.eai.eu/index.php/cs/article/view/2562. Acesso em: 18 may. 2024.