Seol mar théacs é seo: Computer-aided modeling of reactive systems