Leveraging the Analysis for Invariant Independence in Formal System Models | IEEE Conference Publication | IEEE Xplore