Eloy, S., Raposo, M., Costa, F. & Vermaas, P. E. (2021). Tools for the co-designing of housing transformations: A study on interaction and visualization modes. In Eloy, S., Viana, D. L., Morais, F., & Vaz, J. V. (Ed.), Formal Methods in Architecture. Advances in Science, Technology & Innovation. (pp. 91-100). Lisboa: Springer.