@ARTICLE{HHK2012IJITCC,
  author = {Hatem Hadj Kacem and Imen Loulou and Ahmed Hadj Kacem},
  title = {{A formal approach to model and verify the behavior of
                  Publish/Subscribe architectural style}},
  journal = {International Journal of Information Technology,
                  Communications and Convergence, Inderscience
                  publishers}, 
  year = {2012},
  volume = {},
  pages = {},
  number = {},
}