@INPROCEEDINGS{TounsiSAC2013,
  author = {Imen Tounsi and Mohamed Hadj Kacem and Ahmed Hadj Kacem and Khalil Drira and Emna Mezghani},
  title = {Towards an Approach for Modeling and Formalizing SOA Design Patterns with Event-B},
  booktitle = {Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC)},
  year = {2013},
  series = {SAC 2013},
  pages = {1937--1938},
  month = {March},
  publisher = {ACM},
  keywords = {Formal},
}