1. Reliability analysis of smart grids using formal methods;Abdelghany,2023
2. Assisted power management of a stand-alone renewable multi-source system;Abdelkafi;Energy,2018
3. Energy management systems for hybrid distributed generation sources in grid connected and stand-alone micro-grids;Conteh;Journal of Renewable and Sustainable Energy,2017
4. Uppaal smc tutorial;David;International journal on software tools for technology transfer,2015
5. Energy management in smart grids using timed automata;Geuze,2019