Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - Ahmed, Asad; Awwad, Falah; Bastaki, Nabil; Hasan, Osman (Springer, 2022)