S. Annastasia, A. A. Nur Fajrilah, and B. M. Izzati, “VALIDASI BISNIS ARSITEKTUR MODEL MENGGUNAKAN METODE FORMAL (STUDI KASUS: MANUFAKTURING)”, JURTEKSI, vol. 7, no. 2, pp. 173-180, Apr. 2021.