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