Model checking - Grumberg, Orna, 1952- (MIT Press, 1999)