Towards modeling and runtime verification of self-organizing systems

@article{Abolhasanzadeh2016TowardsMA,
  title={Towards modeling and runtime verification of self-organizing systems},
  author={Bahareh Abolhasanzadeh and Saeed Jalili},
  journal={Expert Syst. Appl.},
  year={2016},
  volume={44},
  pages={230-244}
}