X. Jia and S. Li, “Parameterized Reachability Graph for Software Model Checking Based on PDNet”, Comput. Inform., vol. 42, no. 4, pp. 781–804, Dec. 2023.