Jesus, Joabe, AND 		Sampaio, Augusto.
" Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (6 December 2022)