L. Almeida et al.,  "What about if buildings respond to my mood?", in 5th Symp. Formal Methods in Architecture, Lisboa, 2020