Design Automation for Smart Building Systems