Anjany, F.; Al Kaamil, S. F. .; Ainul Yaqin, M. . Evaluasi Kemampuan ChatGPT Dalam Mengonversi Kebutuhan Sistem Berbasis BPMN Menjadi Formula Linear Temporal Logic (LTL). Jurnal Pustaka Data 2025, 5, 152-160.