The Role of Abstraction in Model Checking | Publicación