Formal Verification of Smart Contract Based on Timed Colored Petri Net. - Yaqiong He; Hanjie Dong; Runliu Wang; Huaiguang Wu (ICNCC, 2022)