Widening with Thresholds for Programs with Complex Control Graphs. - Lies Lakhdar-Chaouch; Bertrand Jeannet; Alain Girault (ATVA, 2011)