S. E. Rodrigues et al.,  "Tools for the co-designing of housing transformations: A study on interaction and visualization modes", in Formal Methods in Architecture. Advances in Science, Technology & Innovation, Eloy, S., Viana, D. L., Morais, F., & Vaz, J. V., Ed., Lisboa, Springer, 2021, pp. 91-100