Using physical invariant and cyber invariant check.