Hing Ratana, et al. “Software Model Checking Distributed Applications: A Hybrid Approach”. Journal of Advanced Research in Applied Sciences and Engineering Technology, vol. 45, no. 2, Apr. 2024, pp. 152-67, doi:10.37934/araset.45.2.152167.