Giuseppe Della Penna Igor Melatti Benedetto Intrigila Enrico Tronci Exploiting Hub States in Automatic Verification. 54-68 2005 conf/atva/2005 ATVA http://dx.doi.org/10.1007/11562948_7 db/conf/atva/atva2005.html#PennaMIT05