Jia, Xiangyu, and Shuo Li. “Parameterized Reachability Graph for Software Model Checking Based on PDNet”. Computing and Informatics, vol. 42, no. 4, Dec. 2023, pp. 781–804, doi:10.31577/cai_2023_4_781.