Annastasia, Syifa, Asti Amalia Nur Fajrilah, and Berlian Maulidya Izzati. “VALIDASI BISNIS ARSITEKTUR MODEL MENGGUNAKAN METODE FORMAL (STUDI KASUS: MANUFAKTURING)”. JURTEKSI (jurnal Teknologi dan Sistem Informasi) 7, no. 2 (April 3, 2021): 173-180. Accessed October 27, 2025. https://jurnal.stmikroyal.ac.id/index.php/jurteksi/article/view/1009.