F. Anjany, S. F. . Al Kaamil, dan M. . Ainul Yaqin, “Evaluasi Kemampuan ChatGPT dalam Mengonversi Kebutuhan Sistem Berbasis BPMN Menjadi Formula Linear Temporal Logic (LTL)”, Jurnal Pustaka Data, vol. 5, no. 1, hlm. 152–160, Jun 2025.