Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach