@INPROCEEDINGS{TounsiECSA2013,
  author = {Imen Tounsi and Mohamed Hadj Kacem and Ahmed Hadj Kacem},
  title = {Building Correct by Construction SOA Design Patterns: Modeling and Refinement},
  booktitle = {Software Architecture: Proceedings of the 7th European Conference (ECSA)},
  year = {2013},
  volume = {7957},
  series = {Lecture Notes in Computer Science},
  pages = {33-44},
  address = {Monpellier, France},
  month = {July},
  publisher = {Springer},
  doi = {10.1007/978-3-642-39031-9_4},
  keywords = {Formal},
}