Jesus, Joabe, E 		Sampaio, Augusto.
" Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (6 dezembro 2022)