Smart finite state devices: A modeling framework for demand response technologies | IEEE Conference Publication | IEEE Xplore