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