Abba, Abdulrazaq, 		Cavalcanti, Ana, E 		Jacob, Jeremy.
" Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (7 dezembro 2021)