Tools And Algorithms For The Construction And Analysis Of Systems by J.P. Katoen, Ed Brinksma & Rudi S. Zagst