Modeling of Distributed Ledgers: Challenges and Future Perspectives | IEEE Conference Publication | IEEE Xplore