An approach of model checking agent using spin for the verification of mobile SMS application / by Siti Dianah Abdul Bujang, author, Ali Selamat, author, IEEE International Workshop on Digital Infotainment and Visualization (2007 : Terengganu))