Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems Padberg, Julia Enders, Bettina 2002 - ReposIt