Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems
ZooKeeper: Wait-free Coordination for Internet-scale Systems