没有找到引用Parameterized verification of infinite-state processes with global conditions的文章。