Tools and Algorithms for the Construction of Analysis of Systems door W.R. Cleaveland