Abduction of trap invariants in parameterized systems | Publicación