Corinne, a Tool for Choreography Automata. - Simone Orlando; Vairo Di Pasquale; Franco Barbanera; Ivan Lanese; Emilio Tuosto (FACS, 2021)