Thamilselvam, B., 		Kalyanasundaram, Subrahmanyam, 		Parmar, Shubham, E 		Rao, M.V..
" Statistical Model Checking for Traffic Models" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (7 dezembro 2021)