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