Model checking - Clarke, Edmund M. 1945-2020; Grumberg, Orna; Peled, Doron 1962- (MIT Press, 2002)