Abdelghany, Mohamed, E 		Tahar, Sofiène.
" Formalization of Functional Block Diagrams Using HOL Theorem Proving" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (6 dezembro 2022)