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)

Visual decomposition of UML 2.0 interactions. - Abdelkrim Amirat; Ahcene Menasria (Int. Arab J. Inf. Technol., 2016)

Software connector as software process. - Ahcene Menasria; Mourad Oussalah 001; Abdelkrim Amirat; Halima Bahi (Int. J. Simul. Process. Model., 2021)