CHARIOT: Goal-Driven Orchestration Middleware for Resilient IoT Systems
ZooKeeper: Wait-free Coordination for Internet-scale Systems