Thamilselvam, B., 		Kalyanasundaram, S., 		Parmar, S., & 		Rao, M.
2021 dez  7.  Statistical Model Checking for Traffic Models. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :