Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic | IEEE Conference Publication | IEEE Xplore