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