Modeling and Analyzing Smart Contracts using Predicate Transition Nets | IEEE Conference Publication | IEEE Xplore