Principles of model checking - Baier, Christel; Katoen, Joost-Pieter (MIT Press, 2008)
Keywords: Computer software; Computer software -- Verification; Computer systems; Computer systems -- Verification; Verification