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 (January):7. https://cspub-ijcisim.org/index.php/ijcisim/article/view/4.