A Temporal Blockchain: A Formal Analysis | IEEE Conference Publication | IEEE Xplore