Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs (Logical Methods in Computer Science, 2012)