Verification of Gap-Order Constraint Abstractions of Counter Systems | Publicación