Title: Three dimensional analysis of building systems (extended  version)