On the stability of unverified transactions in a DAG-based distributed ledger - Ferraro, P; Shorten, R; King, C (IEEE Transactions on Automatic Control, 2020)