M, M. et al. 2016. Survey Metode Formal dalam Verifikasi dan Validasi. JUITA: Jurnal Informatika. 4, 1 (Nov. 2016), 1–11. DOI:https://doi.org/10.30595/juita.v4i1.1181.