S. E. Rodrigues et al.,  "Architecting the Metaverse A paradigm shift in architecture co-design", in 7th Int. Symp. Formal Methods in Architecture , Porto, 2024