Text this: Tools and Algorithms for the Construction of Analysis of Systems