related documents Well-being as a Composite Capability in the Smart Building Domain: A Formal and Technical Study Conferences