Le projet ICSA2017Tutorial est un outil de modélisation et de simulation de systèmes à états finis. Il permet de définir des états, des transitions et des actions, ainsi que de spécifier des conditions de garde pour contrôler le flux de contrôle. Les scénarios d'exécution peuvent être simulés et validés par rapport à des comportements attendus, offrant un support précieux pour la vérification et la validation de systèmes réactifs.