Approach; 1 Introduction; 2 The Restore Invariant Approach; 2.1 A Formal View on the