A High-Level Framework for Implementation and Test of IEC 61850-based Microgrid Power Management Systems