Carlo Montangero, Laura Semini, Simone Semprini: Logic Based Coordination for Event-Driven Self-healing Distributed Systems. COORDINATION 2004: 248-263