Hing Ratana, Sharifah Mashita Syed-Mohamad, and Chan Huah Yong, “Software Model Checking Distributed Applications: A Hybrid Approach”, J. Adv. Res. Appl. Sci. Eng. Tech., vol. 45, no. 2, pp. 152–167, Apr. 2024.