Seol mar théacs é seo: Tools and Algorithms for the Construction and Analysis of Systems