Jesus, J., & 		Sampaio, A.
2022 Dec  6.  Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :