An Empirical Investigation on the Trade-off between Smart Contract Readability and Gas Consumption | IEEE Conference Publication | IEEE Xplore