Easing the use of smart contracts through model-based engineering | IEEE Conference Publication | IEEE Xplore