Morgan Jones, Hesameddin Mohammadi, Matthew M. Peet: Estimating the region of attraction using polynomial optimization: A converse Lyapunov result. CDC 2017: 1796-1802