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