@Inproceedings{EPTCS147.8,
  author    = {Kezadri Hamiaz, Mounira and Pantel, Marc and Combemale, Beno\^it and Thirioux, Xavier},
  year      = {2014},
  title     = {Correct-by-construction model composition: Application to the Invasive Software Composition method},
  editor    = {Buhnova, Bara and Happe, Lucia and Kofro\v{n}, Jan},
  booktitle = {{\rm Proceedings 11th International Workshop on}
               Formal Engineering approaches to Software Components and Architectures,
               {\rm Grenoble, France, 12th April 2014}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {147},
  publisher = {Open Publishing Association},
  pages     = {108-122},
  doi       = {10.4204/EPTCS.147.8},
}