An integrated framework for smart microgridsmodeling, monitoring, control, communication, and verification