Least laxity first scheduling of thermostatically controlled loads for regulation services | IEEE Conference Publication | IEEE Xplore