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