Ranged Model Checking. - Diego Funes; Junaid Haroon Siddiqui; Sarfraz Khurshid (ACM SIGSOFT Softw. Eng. Notes, 2012)