Marsha Chechik Benet Devereux Arie Gurfinkel Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. 16-36 2001 conf/spin/2001 SPIN http://link.springer.de/link/service/series/0558/bibs/2057/20570016.htm db/conf/spin/spin2001.html#ChechikDG01