Text this: Tools and algorithms for the construction and analysis of systems /