Generating methods signatures from transition state diagram: A model transformation approach. - Omar El Beggar; Brahim Bousetta; Taoufiq Gadi (CIST, 2012)