Xiaomin Bai, Zijing Cheng, Zhangbo Duan, Kai Hu: Formal Modeling and Verification of Smart Contracts. ICSCA 2018: 322-326