Modeling publish/subscribe communication systems: towards a formal approach | IEEE Conference Publication | IEEE Xplore