From UML 2.0 Sequence Diagrams to PROMELA code by Graph Transformation using AToM3. - Mouna Ait Oubelli; Nadia Younsi; Abdelkrim Amirat; Ahcene Menasria (CIIA, 2011)