Jesus, J., & 		Sampaio, A.
2022 dez  6.  Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :