Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. Expressing KAOS Goal Refinement Patterns with Event-B. Butler, Michael and Hallerstede, Stefan and Voisin, Laurent.
Rodin User and Developer Workshop 2009 - Extended Abstracts, 2009, Unknown, Unknown Region. Technical Report, DEPLOY Project, Electronics and Computer Science, University of Southampton, 2009.
〈hal-01224651〉 
