Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - Ahmed, Asad (Springer, 2022)