SmaCoNat: Smart Contracts in Natural Language | IEEE Conference Publication | IEEE Xplore