Giuseppe Della Penna Benedetto Intrigila Igor Melatti Enrico Tronci Marisa Venturini Zilli Exploiting transition locality in automatic verification of finite-state concurrent systems. 320-341 2004 6 STTT 4 http://www.springerlink.com/index/10.1007/s10009-004-0149-6 db/journals/sttt/sttt6.html#PennaIMTZ04