Abba, A., 		Cavalcanti, A., & 		Jacob, J.
(2021).
 Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata.
In <em>Proceedings of the 24th Brazilian Symposium on Formal Methods</em>, (pp. 70-86). Porto Alegre: SBC.