Beatriz and S. E. Rodrigues, "Borealis Sound an Interactive Wall for Situational Awareness: the Impact of Responsive Architecture on Users", in 5th Symp. Formal Methods in Architecture, Lisboa, 2020