1. Androutsellis-Theotokis S, Spinellis D (2004) A survey of peer-to-peer content distribution technologies. ACM Comput Surv 36(4):335–371
2. Baresi L, Ghezzi C, Mottola L (2007) On accurate automatic verification of publish-subscribe architectures. In: 29th international conference on software engineering (ICSE 2007), Minneapolis, MN, USA, 20–26 May 2007. IEEE Computer Society, Los Alamitos, pp 199–208
3. Binder RV (1999) Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Longman, Boston
4. Buschmann F, Meunier R, Rohnert H, Sommerlad P, Stal M (1996) Pattern-oriented software architecture: a system of patterns. Wiley, New York
5. Carzaniga A, Rosenblum DS, Wolf AL (2000) Achieving scalability and expressiveness in an internet-scale event notification service. In: PODC ’00: proceedings of the nineteenth annual ACM symposium on principles of distributed computing. New York, NY, USA, pp 219–227. doi: 10.1145/343477.343622