Loop Refinement Using Octagons and Satisfiability. - Volker Kamin; Thomas Noll 001 (SSV, 2010)