Abba, A., 		Cavalcanti, A., & 		Jacob, J.
2021 dez  7.  Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :