Jia, X. and Li, S. (2023) “Parameterized Reachability Graph for Software Model Checking Based on PDNet”, Computing and Informatics, 42(4), pp. 781–804. doi: 10.31577/cai_2023_4_781.