Principles Of Model Checking door Christel Baier & Joost-Pieter Katoen