Gil Ratsaby Baruch Sterin Shmuel Ur Improvements in Coverability Analysis. 41-56 2002 conf/fm/2002 FME http://link.springer.de/link/service/series/0558/bibs/2391/23910041.htm db/conf/fm/fme2002.html#RatsabySU02