Thamilselvam, B., 		Kalyanasundaram, S., 		Parmar, S., & 		Rao, M.
(2021).
Statistical Model Checking for Traffic Models.
In <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, (pp. 17-33). Porto Alegre: SBC.