Abdulrazaq Abba, Ana Cavalcanti, and Jeremy Jacob. 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>, dezembro 07, 2021, Campina Grande, Brasil. SBC, Porto Alegre, Brasil, 70-86.