Javier Esparza Verification of Systems with an Infinite State Space. 183-186 2000 conf/movep/2000 MOVEP http://link.springer.de/link/service/series/0558/bibs/2067/20670183.htm db/conf/movep/movep2000.html#Esparza00