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