Scalable scheduling of building control systems for peak demand reduction | IEEE Conference Publication | IEEE Xplore