MATOU: An Implementation of Mode-Automata. - Florence Maraninchi; Yann Rémond; Yannick Raoul (CC, 2000)