A Tool for Abstraction in Model Checking | Publicación