@inproceedings{SacKhlifTKEK18,
  author    = {Ilhem Khlif and
               Imen Tounsi and
               Mohamed Hadj Kacem and
               C{\'{e}}dric Eichler and
               Ahmed Hadj Kacem},
  title     = {A refinement-based approach for specifying multi-scale software architectures:
               application to SoS},
  booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
               {SAC} 2018, Pau, France, April 09-13, 2018},
  pages     = {1660--1667},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3167132.3167309},
  doi       = {10.1145/3167132.3167309}
}