@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 = {Approximated abstraction, CEGAR, Precise abstraction, Predicate abstraction},
	url = {http://dx.doi.org/10.1007/s10009-011-0185-y},
	author = {Natasha Sharygina and Tonetta, S. and Tsitovich, A.}
}
