Verification of gap-order constraint abstractions of counter systems | Publicación