Model checking agent using formal method for SMS verification / by Siti Dianah Abdul Bujang, 1984-, author, Ali Selamat, author, International Conference on Information Theory and Engineering (ICITE 2009) (2009: Sabah)