Ponsard, Christophe and Devroey, Xavier  (2011) Generating High-Level Event-B System Models from KAOS Requirements Models.  In: InforSID 2011, 24-26 May 2011, Lille (France).