A theorem and a procedure for the complete implication matrix of system interconnection matrices | IEEE Journals & Magazine | IEEE Xplore