A converse sum-of-squares Lyapunov result: An existence proof based on the Picard iteration. - Peet, M; Papachristodoulou, A (CDC, 2010)