S. Li, Z. Ding, and M. Pan, “Formal Modelling of Program Dependence Net for Software Model Checking”, Comput. Inform., vol. 43, no. 5, pp. 1161–1184, Oct. 2024.