@article { Natasha Sharygin,
	title = {An abstraction refinement approach combining precise and approximated techniques},
	journal = {International Journal on Software Tools for Technology Transfer (STTT)},
	volume = {14},
	year = {2012},
	pages = {1-14},
	publisher = {Springer},
	keywords = {Predicate abstraction, Precise abstraction, Approximated abstraction, CEGAR},
	URL = {http://dx.doi.org/10.1007/s10009-011-0185-y},
	author = {Natasha Sharygina and  Stefano Tonetta and  Aliaksei Tsitovich}
}