Corinne, a Tool for Choreography Automata