Abdelghany, M., & 		Tahar, S.
(2022).
 Formalization of Functional Block Diagrams Using HOL Theorem Proving.
In <em>Proceedings of the 25th Brazilian Symposium on Formal Methods</em>, (pp. 22-35). Porto Alegre: SBC.