Andre F. Caldeira, Daniel Ferreira Coutinho, Carlos E. de Souza, Valter J. S. Leite: Numerically tractable stability tests for 2-D singular discrete-time systems. CDC 2013: 3391-3396