Hing Ratana, Sharifah Mashita Syed-Mohamad, and Chan Huah Yong. “Software Model Checking Distributed Applications: A Hybrid Approach”. Journal of Advanced Research in Applied Sciences and Engineering Technology 45, no. 2 (April 14, 2024): 152–167. Accessed November 5, 2024. https://semarakilmu.com.my/journals/index.php/applied_sciences_eng_tech/article/view/2867.