Modeling supermarket refrigeration systems for supervisory control in smart grid | IEEE Conference Publication | IEEE Xplore