I. U. Havsa, “UTILISING BTTRACE VISUALISER AND LTL FORMULAE PATTERNS FOR ANALYSING COUNTEREXAMPLE”, Jurnal Ilmu Komputer dan Informasi, vol. 6, no. 1, pp. 11-16, Oct. 2013.