Siti Dianah Abdul Bujang, & 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, 7. Retrieved from https://cspub-ijcisim.org/index.php/ijcisim/article/view/4