Tools and Algorithms for the Construction and Analysis of SystemsJoost-Pieter Katoen, Perdita Stevens₹5,685