B. Thamilselvam, S. Kalyanasundaram, S. Parmar, and M. Rao.
"Statistical Model Checking for Traffic Models", in <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, Campina Grande, 2021, pp. 17-33.