Ranking function synthesis for bit-vector relations. - Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph (Formal Methods in System Design, 2013)