Enviar aquest missatge de text: Computer-aided modeling of reactive systems