Design Automation For Smart Building Systems