Li, S. et al. 2024. Formal Modelling of Program Dependence Net for Software Model Checking. Computing and Informatics. 43, 5 (Oct. 2024), 1161–1184. DOI:https://doi.org/10.31577/cai_2024_5_1161.