Borealis Sound an Interactive Wall for Situational Awareness: the Impact of Responsive Architecture on Users - Couto, B.; Eloy, S. (5th Symposium Formal Methods in Architecture, 2020)