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