Reasoning in Event-Based Distributed Systems - Helmer, Sven; Poulovassilis, Alexandra; Xhafa, Fatos (Springer Berlin Heidelberg, 2011)