B. Thamilselvam, Subrahmanyam Kalyanasundaram, Shubham Parmar, and M.V. Rao. 2021.
 Statistical Model Checking for Traffic Models. In <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, dezembro 07, 2021, Campina Grande, Brasil. SBC, Porto Alegre, Brasil, 17-33.