High Level Modelling and Design For a Microthreaded Scheduler to Support Microgrids | IEEE Conference Publication | IEEE Xplore