D. Narváez, N. Battaglia, A. Fernández, and G. Rossi, “Aplicación de Inteligencia Artificial Generativa y Verificación Formal en el Descubrimiento de Microservicios”, Revista Abierta de Informática Aplicada, vol. 9, no. 1, pp. 2–24, Dec. 2025, doi: 10.59471/raia2025225.