Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl: Automatic abstraction for model checking software systems with interrelated numeric constraints. ESEC / SIGSOFT FSE 2001: 164-174