Supervisory Energy-Management Systems for Microgrids: Modeling and Formal Verification | IEEE Journals & Magazine | IEEE Xplore