S. E. Rodrigues et al.,  "Tools for the Co-designing of Housing Transformations: A Study on Interaction and Visualization Modes", in 5th Symp. Formal Methods in Architecture, Lisboa, 2020