Li, S.; Ding, Z.; Pan, M. Formal Modelling of Program Dependence Net for Software Model Checking. Comput. Inform. 2024, 43, 1161–1184.