Invariant Analysis in Discrete Systems Implementation Protocol | Invariant Analysis in Discrete Systems | Mathematics | NEROS