Formalization of Bond Graph using Higher-order-logic Theorem Proving. - Ujala Qasim; Adnan Rashid; Osman Hasan (CoRR, 2021)