Handling State-Machines Specifications with GATeL. - Benjamin Blanc; Christophe Junke; Bruno Marre; Pascale Le Gall; Olivier Andrieu (MBT@ETAPS, 2010)