Verifying Invariants by Deductive Model Checking | Publicación