Annastasia, S., A. A. Nur Fajrilah, and B. M. Izzati. “VALIDASI BISNIS ARSITEKTUR MODEL MENGGUNAKAN METODE FORMAL (STUDI KASUS: MANUFAKTURING)”. JURTEKSI (jurnal Teknologi Dan Sistem Informasi), Vol. 7, no. 2, Apr. 2021, pp. 173-80, doi:10.33330/jurteksi.v7i2.1009.