A Lyapunov method for stability analysis of piecewise-affine systems over non-invariant domains. Issue 5 (3rd May 2016)