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, vol. 1, Jan. 2009, p. 7, https://cspub-ijcisim.org/index.php/ijcisim/article/view/4.