Text this: Model Checking Vector Addition Systems with one zero-test