A formal Holon model for operating future energy grids during blackouts | IEEE Conference Publication | IEEE Xplore