Byron Cook, Andreas Podelski, Andrey Rybalchenko: Terminator: Beyond Safety. CAV 2006: 415-418