L. Almeida et al.,  "What about if buildings respond to my mood?", in Formal Methods in Architecture. Advances in Science, Technology & Innovation, Eloy, S., Viana, D. L., Morais, F., & Vaz, J. V., Ed., Lisboa, Springer, 2021, pp. 123-131