Pendekatan Formalisasi Model Berorientasi Objek Dengan Model Formal: Satu Tinjauan. (2012). Jurnal Teknologi (Sciences & Engineering), 49(1), 1–12. https://doi.org/10.11113/jt.v49.193