Verifying Multi−threaded Software with Impact - Wachter, B; Kroening, D; Ouakine, J (FMCAD, 2013)