A Smart Building Design using Cyber-Physical System Modeling | IEEE Conference Publication | IEEE Xplore