F. Anjany, S. F. . Al Kaamil, and 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, pp. 152–160, Jun. 2025.