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