Goal and Policy Based Code Generation and Deployment of Smart Contracts | IEEE Conference Publication | IEEE Xplore