@Inproceedings{EPTCS91.4,
  author    = {Iftikhar, M. Usman and Weyns, Danny},
  year      = {2012},
  title     = {A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System},
  editor    = {Kokash, Natallia and Ravara, Ant\'onio},
  booktitle = {{\rm Proceedings 11th International Workshop on}
               Foundations of Coordination Languages and Self Adaptation,
               {\rm Newcastle, U.K., September 8, 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {91},
  publisher = {Open Publishing Association},
  pages     = {45-62},
  doi       = {10.4204/EPTCS.91.4},
}