V.: Reducing model checking of the many to the few (2000)

by E A Emerson, Kahlon
Venue:In: CADE 2000, LNCS 1831