Model Checking Vector Addition Systems with one zero-test (Logical Methods in Computer Science, 2012)