Eloy, S., Raposo, M. & Pereira da Silva, N. (2024). Architecting the Metaverse A paradigm shift in architecture co-design. 7th International Symposium Formal Methods in Architecture .