Pendekatan Formalisasi Model Berorientasi Objek Dengan Model Formal: Satu Tinjauan. Jurnal Teknologi (Sciences & Engineering), v. 49, n. 1, p. 1–12, 20 Jan.2012.