Lifted Invariant Analysis of Petri Net Product Lines | Publicación