Model checking - Clarke, E. M., 1945- (MIT Press, 2018)