@INPROCEEDINGS{Ikbel:2012ICECCS,
AUTHOR =       {Ikbel Krichen and Imen Loulou and Hedi Dhouib and
Ahmed Hadj Kacem},
TITLE =        {{P/S-CoM+: a Formal Approach to Design Correct
Publish/Subscribe Architectural Styles}},
BOOKTITLE =    {Proceedings of the 17th IEEE International
Conference on Engineering of Complex Computer
Systems, ICECCS 2012},
YEAR =         {2012},
address =      {Paris, France},
month =        {July},
publisher =    {IEEE Computer Society},
}