Li, S., Ding, Z. and Pan, M. (2024) “Formal Modelling of Program Dependence Net for Software Model Checking”, Computing and Informatics, 43(5), pp. 1161–1184. doi: 10.31577/cai_2024_5_1161.