From Institutions to Code: Towards Automated Generation of Smart Contracts | IEEE Conference Publication | IEEE Xplore