Principles of model checking / Christel Baier ; Joost-Pieter Katoen. Cambridge, Mass. [u.a.] : MIT Press, 2008