A First Attempt to Express KAOS Refinement Patterns with Event B. - Abderrahman Matoussi; Frédéric Gervais; Régine Laleau (ABZ, 2008)

Towards Validation of Requirements Models. - Atif Mashkoor; Abderrahman Matoussi (ASM, 2010)

Improving Traceability between KAOS Requirements Models and B Specifications. - Abderrahman Matoussi; Dorian Petit (ASM, 2010)

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned. - Abderrahman Matoussi; Frédéric Gervais; Régine Laleau (SBMF, 2010)

A first attempt to combine SysML requirements diagrams and B. - Régine Laleau; Farida Semmak; Abderrahman Matoussi; Dorian Petit; Ahmed Hammad; Bruno Tatibouët (Innov. Syst. Softw. Eng., 2010)

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. - Abderrahman Matoussi; Frédéric Gervais; Régine Laleau (ICECCS, 2011)

Une première approche de traçabilité entre modèles d'exigences non-fonctionnelles et spécifications abstraites Event-B . - Abderrahman Matoussi; Régine Laleau (INFORSID, 2011)

Un outil de construction de spécifications abstraites Event-B dirigée par les buts. - Abderrahman Matoussi; Régine Laleau (Ingénierie des Systèmes d Inf., 2011)

Construction de spécifications formelles abstraites dirigée par les buts. (Building abstract formal Specifications driven by goals). - Abderrahman Matoussi (2011)

Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B. - Abderrahman Matoussi; Régine Laleau (Ingénierie des Systèmes d Inf., 2012)