An unconditionally sound algorithm for testability analysis in linear time‐invariant electrical networks. (2nd November 2015)