Orna Grumberg, and Doron A. Peled. Model checking (1999)

by Edmund M Clarke