What about if buildings respond to my mood? - Almeida, L.; Eloy, S.; Almeida, A. de. (Formal Methods in Architecture. Advances in Science, Technology & Innovation, 2021)