Jesus, J., & 		Sampaio, A.
(2022).
 Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover.
In <em>Anais do XXV Simpósio Brasileiro de Métodos Formais</em>, (pp. 91-108). Porto Alegre: SBC.