Abba, A., 		Cavalcanti, A., & 		Jacob, J.
2021 Dec  7.  Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :