Siti Dianah Abdul Bujang and Ali Selamat, “Applying Model Checking Agent for Error Detecting in SMS using Formal Method”, ijcisim, vol. 1, p. 7, Jan. 2009.