Formal validation of supervisory energy management systems for microgrids | IEEE Conference Publication | IEEE Xplore