Stabilization of discrete-time switched linear systems: Lyapunov-Metzler inequalities versus S-procedure characterizations*. Issue 1 (July 2017)