Abdelghany, M., & 		Tahar, S.
2022 dez  6.  Formalization of Functional Block Diagrams Using HOL Theorem Proving. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :