A fixed point theorem for set-valued mapping systems and its applications to nonlinear network analysis