Non-termination Checking for Imperative Programs. - Helga Velroyen; Philipp Rümmer (TAP, 2008)