Invariant Derivation Protocol Design | Invariant Derivation | Mathematics | NEROS