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