A Framework for Formal Transformation and Analysis of Smart Contract Code | IEEE Conference Publication | IEEE Xplore