Principles of model checking by Christel Baier | Menrva Books | MenrvaBooks