A. Abba, A. Cavalcanti, and J. Jacob.
"Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata", in <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, Campina Grande, 2021, pp. 70-86.