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