Tools for the co-designing of housing transformations: A study on interaction and visualization modes - Eloy, S.; Raposo, M.; Costa, F.; Vermaas, P. E. (Formal Methods in Architecture. Advances in Science, Technology & Innovation, 2021)