Anjany, F., Al Kaamil, S. F. . dan Ainul Yaqin, M. . (2025) “Evaluasi Kemampuan ChatGPT dalam Mengonversi Kebutuhan Sistem Berbasis BPMN Menjadi Formula Linear Temporal Logic (LTL)”, Jurnal Pustaka Data (Pusat Akses Kajian Database, Analisa Teknologi, dan Arsitektur Komputer), 5(1), hlm. 152–160. doi: 10.55382/jurnalpustakadata.v5i1.1000.