Modeling Ledger Dynamics in IOTA Blockchain | IEEE Conference Publication | IEEE Xplore