A Selected InversionApproach for Locality Driven Vectorless Power Grid Verification.