Abdelghany, Mohamed, and Sofiène Tahar.
" Formalization of Functional Block Diagrams Using HOL Theorem Proving." <em>Anais do XXV Simpósio Brasileiro de Métodos Formais,
Evento Online, 2022</em>. SBC, 2022,  
pp.22-35.