Abba, A., 		Cavalcanti, A., & 		Jacob, J.
(2021).
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata.
In <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, (pp. 70-86). Porto Alegre: SBC.