GL - Ressources Pédagogiques / Advanced Topics on Software Engineering / sle-resources / State machines DSL