Hing Ratana, Sharifah Mashita Syed-Mohamad and Chan Huah Yong (2024) “Software Model Checking Distributed Applications: A Hybrid Approach”, Journal of Advanced Research in Applied Sciences and Engineering Technology, 45(2), pp. 152–167. doi: 10.37934/araset.45.2.152167.