Tools and Algorithms for the Construction and Analysis of SystemsJean-François Raskin Marsha Chechik₹2,704