Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems
ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER