J. Jesus and A. Sampaio.
" Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover", in <em>Anais do XXV Simpósio Brasileiro de Métodos Formais</em>, Evento Online, 2022, pp. 91-108.