An Automated Modeling Method and Visualization Implementation of Smart Contracts. - Jie Meng; Zheng Li; Ruiliang Zhao; Ying Shang (BlockSys, 2021)