Beatriz and S. E. Rodrigues, "Borealis sound an interactive wall for situational awareness: The impact of responsive architecture on users", in Formal Methods in Architecture. Advances in Science, Technology and Innovation, Eloy, S., Viana, D. L., Morais, F., & Vaz, J. V., Ed., Lisboa, Springer, 2021, pp. 133-143