DM-Check: Verifying invariants of concurrent systems by deductive model checking | Publicación