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