M. C. Couceiro et al.,  "Reimagining human-nature coexistence: An integrative approach to architectural design with biomimicry, generative modeling, and AI", 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. 207-217