Tools and Algorithms for the Construction and Analysis of SystemsDirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen₹4,240