Easing the use of smart contracts through model-based engineering | Publicación