Siti Dianah Abdul Bujang; Ali Selamat. Applying Model Checking Agent for Error Detecting in SMS Using Formal Method. IJCISIM 2009, 1, 7.