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). Springer. https://doi.org/10.1007/978-3-030-57509-0_9