Formal Verification of Smart Contracts Based on Model Checking: An Overview | IEEE Conference Publication | IEEE Xplore