S. E. Rodrigues et al.,  "Architecting the metaverse: A paradigm shift for co-design in architecture", in Formal methods in architecture: Proc. of the 7th Int. Symp. on Formal Methods in Architecture (7FMA), Bruno Marques, Catarina Ruivo, David Leite Viana, Jorge Vieira Vaz, Ed., Porto, Springer, 2025, pp. 300-315