P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles. - Ikbel Krichen; Imen Loulou; Hedi Dhouib; Ahmed Hadj Kacem (ICECCS, 2012)