Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum | IEEE Conference Publication | IEEE Xplore