Abdelghany, M., & 		Tahar, S.
(2022).
 Formalization of Functional Block Diagrams Using HOL Theorem Proving.
In <em>Anais do XXV Simpósio Brasileiro de Métodos Formais</em>, (pp. 22-35). Porto Alegre: SBC.