Model checking - Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (MIT Press, 1999)