Li, Shuo, et al. “Formal Modelling of Program Dependence Net for Software Model Checking”. Computing and Informatics, vol. 43, no. 5, Oct. 2024, pp. 1161–1184, doi:10.31577/cai_2024_5_1161.