@ARTICLE{STTT03,
author = {Giuseppe Della Penna and Benedetto Intrigila and Igor Melatti and Enrico Tronci and Marisa Venturini Zilli},
title = {Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems},
doi = {10.1007/s10009-004-0149-6},
journal = {International Journal on Software Tools for Technlogy Transfer},
editor = {Springer-Verlag},
pages = {320--341},
year = {2004},
month = {8},
volume = {6},
number = {4}
}