Siti Dianah Abdul Bujang and Ali Selamat 2009. Applying Model Checking Agent for Error Detecting in SMS using Formal Method. International Journal of Computer Information Systems and Industrial Management Applications. 1, (Jan. 2009), 7.