Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns. - Imen Tounsi; Zied Hrichi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ICEIS (2), 2013)