Describir: Principles of model checking Christel Baier, Joost-Pieter Katoen. [electronic resource] /