Blockchain-Based IoT Application Using Smart Contracts: Case Study of M2M Autonomous Trading | IEEE Conference Publication | IEEE Xplore