Text this: Tools and algorithms for the construction and analysis of systems (vol. # 3440)