Smart Connected Buildings Design Automation: Foundations and Trends | Now Foundations and Trends books | IEEE Xplore