@article{GassaraCEE2017A1,
  author    = {Amal Gassara and Ismael Bouassida Rodriguez},
  title     = {Describing correct deployment architectures based on a bigraphical multi-scale 
                 modeling approach},
  journal   = {Computers & Electrical Engineering},
  volume    = {63},
  pages     = {277--288},
  year      = {2017},
  doi       = {10.1016/j.compeleceng.2017.05.018},
   keywords={Formal, DeploymentManagement}
}