Eloy, S., Raposo, M., Costa, F. & Vermaas, P. (2020). Tools for the Co-designing of Housing Transformations: A Study on Interaction and Visualization Modes. 5th Symposium Formal Methods in Architecture.