Siti Dianah Abdul Bujang, and Ali Selamat. “Applying Model Checking Agent for Error Detecting in SMS Using Formal Method”. International Journal of Computer Information Systems and Industrial Management Applications 1 (January 1, 2009): 7. Accessed May 4, 2026. https://cspub-ijcisim.org/index.php/ijcisim/article/view/4.