Hing Ratana; Sharifah Mashita Syed-Mohamad; Chan Huah Yong. Software Model Checking Distributed Applications: A Hybrid Approach. J. Adv. Res. Appl. Sci. Eng. Tech. 2024, 45, 152-167.