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