An SMT-Based Approach to Coverability Analysis | Publicación