Nishant Sinha: Modular bug detection with inertial refinement. FMCAD 2010: 199-206