Jia, X.; Li, S. Parameterized Reachability Graph for Software Model Checking Based on PDNet. Comput. Inform. 2023, 42, 781–804.