Pātuhitia tēnei: Computer-aided modeling of reactive systems