Jesus, Joabe, and Augusto Sampaio.
" Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover." <em>Proceedings of the 25th Brazilian Symposium on Formal Methods,
Evento Online, 2022</em>. SBC, 2022,  
pp.91-108.